Teoria del Linguaggio Formale e degli Automi

Il libro contiene una trattazione approfondita di tutti gli argomenti relativi alla teoria del calcolo, come menzionato nei syllabus di B.E., M.C.A. e M.Sc. (Informatica) di varie universita. Una quantita sufficiente di input teorici supportati da una serie di illustrazioni sono inclusi per coloro che sono profondamente interessati alla materia. Nei primi capitoli il libro presenta il materiale di base necessario per lo studio delle teorie degli automi. Esempi di argomenti inclusi sono: i linguaggi regolari e il Teorema di Kleene; gli automi minimi e i monoidi sintattici; il rapporto tra linguaggi senza contesto e automi pushdown; le macchine di Turing e la decidibilita. Questo libro facilita agli studenti uno stile di scrittura piu informale, fornendo al contempo la copertura piu accessibile della teoria degli automi, un trattamento solido sulla costruzione di prove, molte figure e diagrammi per aiutare a trasmettere le idee, e barre laterali per evidenziare il materiale correlato. Ogni capitolo offre un'abbondanza di esercizi per l'apprendimento pratico.