Manual universitario que cubre la teoría de autómatas y lenguajes formales, diseñado para apoyar la docencia en titulaciones de Informática. Su contenido se estructura en base a la correspondencia entre máquinas programables y gramáticas formales, abordando el diseño de lenguajes de programación y sus traductores.
