Teoria daut.mats i llenguatges formals es un libro de introducción a los diversos aspectos que constituyen la base de los modelos de computación y de los lenguajes de programación. Se introducen los conceptos fundamentales desde el principio, con un mínimo de prerequisitos, y se incluyen numerosos ejemplos y ejercicios. El texto intenta conjugar el rigor matemático característico de la materia con el hecho de que los conceptos más importantes sean asequibles y se puedan relacionar directamente con las aplicaciones asociadas más importantes en informática.
