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. N...