Un testo classico, che presenta la materia con una nuova attenzione alle applicazioni pratiche e agli aspetti matematici, e arricchito da numerose figure esplicative. Questa disciplina, ormai ampiamente riconosciuta come fondamentale per il settore dell'informatica, fornisce strumenti formali indispensabili in svariati ambiti e applicazioni, ed è a sua volta oggetto di una continua attività di ricerca, anche a distanza di mezzo secolo dalla sua nascita. Per questo, la nuova edizione italiana è frutto di una completa revisione della precedente edizione italiana e di un aggiornamento alla terza edizione americana. Per completezza è stata inserita un'appendice dedicata alle grammatiche e alla gerarchla di Chomsky, argomento interessante e utile per fornire un inquadramento più preciso e ampio su queste tematiche.