An Introduction to Formal Languages and Automata (Third Edition)

Manual introductorio para cursos de teoría de la computación que explica con claridad los fundamentos de lenguajes formales y autómatas. Ofrece motivación intuitiva para las demostraciones, evita el exceso de tecnicismo para resaltar los principios, y emplea numerosos ejemplos repetidos en distintos contextos para afianzar la comprensión. Incluye conjuntos de ejercicios de dificultad variada y un diseño a dos tintas que guía al estudiante por las secciones pedagógicas del texto.