Teoria d'autòmats i llenguatges formals' és un llibre d'introducció als diversos aspectes que constitueixen la base dels models de computació i dels llenguatges de programació. S'hi introdueixen els conceptes fonamentals des del principi, amb un mínim de prerequisits, i s'hi inclouen nombrosos exemples i exercicis. El text intenta conjugar el rigor matemàtic característic de la matèria amb el fet que els conceptes més importants siguen assequibles i es puguen relacionar amb les aplicacions associades directament més importants en informàtica.
