Automata: teoria, tendenze e applicazioni

Titolo originale:

Automata: Theory, Trends, and Applications

Contenuto del libro:

Questo libro fornisce un'analisi approfondita della teoria classica degli automi, compresi gli automi finiti, gli automi pushdown e le macchine di Turing.

Inoltre, tratta le tendenze attuali della teoria degli automi, come il salto, il deep pushdown e gli automi regolati. Il libro è in equilibrio tra un approccio teorico e pratico all'argomento, presentando molte applicazioni reali degli automi in una varietà di aree scientifiche, che vanno dall'elaborazione dei linguaggi di programmazione all'analisi della sintassi del linguaggio naturale, fino alla musicologia computazionale.

In Automata: Theories, Trends and Applications tutti i formalismi relativi agli automi sono introdotti in modo rigoroso e ogni passaggio matematico complicato è preceduto da una spiegazione intuitiva, in modo che anche le parti più complesse del libro risultino di facile comprensione. Il libro dimostra inoltre come gli automi siano alla base di diverse tecniche di ingegneria informatica. Questa monografia è un utile riferimento per gli scienziati che lavorano nelle aree dell'informatica teorica, della matematica computazionale, della linguistica computazionale e della scrittura di compilatori.

Può anche essere utilizzata come testo obbligatorio nei corsi di teoria e applicazioni degli automi e di teoria della computazione a livello universitario. Questo libro viene fornito con l'accesso a un sito web che fornisce materiale supplementare come esercizi con soluzioni, casi di studio aggiuntivi, lezioni da scaricare, consigli didattici per gli insegnanti e altro ancora.