Este clsico manual sobre lenguajes formales, teora de los automatismos y complejidad computacional ha sido actualizado a los conceptos tericos actuales de forma directa y concisa con aplicaciones prcticas de cobertura creciente. Esta tercera edicin ofrece a los estudiantes un estilo menos formal, a la vez proporciona el enfoque ms accesible de la teora de los automatismos existente, un tratamiento slido de las pruebas constructivas, multitud de figuras y diagramas que ayudan a aclarar las ideas, as como smbolos que ayudan a resaltar los conceptos relacionados. Otra nueva caracterstica de la presente edicin es Gradience, que son unas prcticas en la Web, y una herramienta de evaluacin. Cada captulo 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 da, adems en esta 3 ed, se incluye un material complementario sin competencia que ser un claro apoyo para los estudiantes dentro del marco de convergencia europea. www.aw.com/gradiance. | |