Manual de modele matematice pentru limbaje și calcul

Titlul original:

Handbook of Mathematical Models for Languages and Computation

Conținutul cărții:

Teoria calculului este utilizată pentru a răspunde provocărilor care apar în multe domenii ale informaticii, cum ar fi inteligența artificială, procesoarele de limbaj, scrierea compilatoarelor, sistemele de informare și codificare, proiectarea limbajelor de programare, arhitectura calculatoarelor și multe altele. Pentru a înțelege subiectele referitoare la această teorie, cititorii trebuie să se familiarizeze cu modelele sale de calcul și de limbaj, bazate pe concepte ale matematicii discrete, inclusiv seturi, relații, funcții, grafice și logică.

Acest manual introduce cu rigoare conceptele importante de acest tip și le utilizează pentru a acoperi cele mai importante modele matematice pentru limbaje și calcul, cum ar fi diverse automate și gramatici clasice, precum și moderne. Acesta explică utilizarea lor în subiecte de o importanță crucială pentru teoria calculului, cum ar fi calculabilitatea, decidabilitatea și complexitatea calculatorie.

Autorii acordă o atenție deosebită implementării tuturor acestor concepte și modele matematice și explică clar cum să le codifice în practica computațională. Toate programele de calculator sunt scrise în C#.