Josep Ferri Rabasa'Teoria d'autò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 numeroso s ejemplos y ejercicios. El texto intenta conjugar el rigor matemático característico de la m