Este clasico manual sobre lenguajes formales, teoria de los automatismos y complejidad computacional ha sido actualizado a los conceptos teoricos actuales de forma directa y concisa con aplicaciones practicas de cobertura creciente. Esta tercera edicion ofrece a los estudiantes un estilo menos formal, a la vez proporciona el enfoque mas accesible de la teoria de los automatismos existente, un tratamiento solido de las pruebas constructivas, multitud de figuras y diagramas que ayudan a aclarar las ideas, asi como simbolos que ayudan a resaltar los conceptos relacionados. Otra nueva caracteristica de la presente edicion es Gradience, que son unas practicas en la Web, y una herramienta de evaluacion. Cada capitulo contiene gran cantidad de ejercicios, e incluye problemas seleccionados de Gradience, para que los estudiantes adquieran una experiencia propia en el aprendizaje. Los adelantos que ha sufrido esta materia desde 2002 hacen una casi obligatoria puesta al dia, ademas en esta 3ª ed, se incluye un material complementario sin competencia que sera un claro apoyo para los estudiantes dentro del marco de convergencia europea.