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 università. Una quantità 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 decidibilità. Questo libro facilita agli studenti uno stile di scrittura più informale, fornendo al contempo la copertura più 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.