Manuale dei modelli matematici per le lingue e il calcolo

Titolo originale:

Handbook of Mathematical Models for Languages and Computation

Contenuto del libro:

La teoria della computazione viene utilizzata per affrontare le sfide che si presentano in molte aree dell'informatica, come l'intelligenza artificiale, i processori di linguaggio, la scrittura di compilatori, i sistemi di informazione e codifica, la progettazione di linguaggi di programmazione, l'architettura dei computer e altro ancora. Per comprendere gli argomenti relativi a questa teoria, i lettori devono familiarizzare con i suoi modelli computazionali e linguistici, basati su concetti di matematica discreta, tra cui insiemi, relazioni, funzioni, grafici e logica.

Questo manuale introduce con rigore gli importanti concetti di questo tipo e li utilizza per coprire i più importanti modelli matematici per i linguaggi e la computazione, come i vari automi classici e moderni e le grammatiche. Spiega il loro uso in argomenti cruciali della teoria della computazione come la computabilità, la decidibilità e la complessità computazionale.

Gli autori prestano particolare attenzione all'implementazione di tutti questi concetti e modelli matematici e spiegano chiaramente come codificarli nella pratica computazionale. Tutti i programmi sono scritti in C#.