Reseña
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.