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 progresiva y continua, por disponerse ya de todos los conocimientos necesarios de la lingüística matemática.