Hace 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 las más complejas. La unificación del tratamiento de los lenguajes y gramáticas formales en un capítulo inicial ofrece un enfoque novedoso, que busca posibilitar la posterior presentación de las máquinas abstractas de manera ininterrumpida y disponiendo de todos los conocimientos necesarios de la lingüística matemática. Además, para asegurar el necesario vínculo entre los temas tratados y la programación de computadoras, se incluye una presentación introductoria a los simuladores de máquinas abstractas, que busca estimular su implementación y uso. Se revisa la teoría de autómatas, desde las máquinas secuenciales básicas hasta aquella más compleja propuesta por Alan Turing, a través del desarrollo de una familia de autómatas de capacidad creciente; el isomorfismo que vincula gramáticas y autómatas, poniendo la atención en la validación de lenguajes de programación utilizando analizadores sintácticos