Primer curso en teoría de autómatas y lenguajes formales el libro fue pensado con el objetivo de brindar una herramienta de apoyo al estudiante de licenciatura o posgrado interesado en aprender por primera vez los fundamentos teóricos de la computación. Dando un enfoque muy cercano a la formalidad matemática sin descartar en lo absoluto las aplicaciones prácticas. Para el correcto entendimiento del presente material se requiere que el lector tenga conocimiento previo de lógica y teoría de conjuntos, ambas a nivel elemental. Posiblemente, el texto sea más accesible al lector que tenga alguna noción de programación y de matemáticas discretas. Exceptuando el último capítulo, cada sección tiene tres componentes: la teoría, los ejemplos y los ejercicios. El autor consideró importante incluir métodos de razonamiento formal no solo en la teoría sino también en los ejercicios, pues la prueba matemática es una herramienta fundamental en la comprobación de modelos hechos en la práctica.
