Este libro, denominado Lenguajes formales y teoría de autómatas, comienza con una presentación unificada de los lenguajes y gramáticas según la jerarquía de Chomsky, para luego poner el foco en las máquinas abstractas, avanzando progresivamente desde las más simples hasta la de Turing, que es la más compleja. El libro está destinado a un curso de Teoría de la Computación de Ingeniería de Sistemas y con este fin se optó por un enfoque novedoso que unificó el tratamiento de los lenguajes y gramáticas formales en un capítulo inicial, haciendo entonces posible la posterior presentación de las máquinas abstractas de manera progressiva y continua, por disponerse ya de todos los conocimientos necesarios de la lingüística matemática. Al definir el contenido y enfoque del tratamiento de los temas presentados, se buscó un equilibrio que contemplara: i) los conocimientos necesarios para cubrir los contenidos mínimos previstos habitualmente en los planes de estudio de las carreras de Ingeniería de Sistemas, ii) las previsiones normalmente establecidas en este campo al definir los estándares para la acreditación de las carreras afines, iii) el respaldo conceptual necesario para los temas abordados y iv) el tiempo disponible, que corresponde al de una materia cuatrimestral con una carga horaria de entre 60 y 90 hs reloj. Naturalmente, como siempre ocurre en estos casos, fue necesario llegar a una solución de compromiso en la que se beneficiaron algunos temas en perjuicio de otros. Aun así, es probable que en algunos temas el material presentado sea excesivo para un primer curso de Teoría de la Computación y queda a criterio del docente la selección del mismo. Además, en los desarrollos y ejemplos, se procuró dejar siempre 'puertas abiertas' que estimulen al lector a ahondar sobre los temas tratados.
