Este clásico manual sobre lenguajes formales, teoría de los automatismos y complejidad computacional ha sido actualizado a los conceptos teóricos actuales de forma directa y concisa con aplicaciones prácticas de cobertura creciente. Esta tercera edición ofrece a los estudiantes un estilo menos formal, a la vez proporciona el enfoque más accesible de la teoría de los automatismos existente, un tratamiento sólido de las pruebas constructivas, multitud de figuras y diagramas que ayudan a aclarar las ideas, así como símbolos que ayudan a resaltar los conceptos relacionados. Otra nueva característica de la presente edición es Gradience, que son unas prácticas en la Web, y una herramienta de evaluación. Cada capítulo contiene gran cantidad de ejercicios, e incluye problemas seleccionados de Gradience, para que los estudiantes adquieran una experiencia propia en el aprendizaje.