En este libro se presenta uno de los temas fundamentales de la teoría de la computación: los autómatas y los lenguajes formales. Se limita a aquellos lenguajes formales que pueden ser reconocidos por autómatas o generados por gramáticas formales. A pesar de su enfoque meramente matemático, detalladamente se explica lo que se está formulando, proporciona el contexto y ejemplos de estos conceptos en ciencias de la computación.