Incluye bibliografía.

Incluye contenido.

Incluye índice analítico.

Incluye referencias.

0. Preliminares matemáticos. -- 1. Alfabetos y lenguajes. -- 2. Lenguajes regulares. -- 3. Lenguajes independientes del contexto. -- Desde hace quince años, Ingeniería de Software. Un enfoque práctico, ha sido el libro más vendido sobre ingeniería de software, tanto para estudiantes como para profesionales en la ingeniería. En esta cuarta edición Ingeniería de Software. Un enfoque práctico, ha sido revisado y ampliado a 30 capítulos que recogen los tópicos más importantes en lo que hemos llamado "la disciplina en ingeniería del siglo XXI". El texto se ha reestructurado completamente, con lo que la mayoría de las áreas clave se han agrupado para facilitar la enseñanza y el estudio. -- 4. Máquinas de Turing. -- 5. Máquinas de Turing y lenguajes. -- 6. Resolubilidad. -- 7. Introducción a la complejidad computacional.

Esta obra abarca los temas de lenguajes formales y autómatas, máquinas de Turing y computabilidad a través de la decibilidad. Su estudio necesita un nivel mínimo de conocimientos matemáticos, aunque se eviten en lo posible los largos desarrollos matemáticos. Todos los razonamientos de este libro tienen la intención de motivar al alumno, más que pretender ser matemáticamente completos o elegantes. En todo momento el autor ilustra con ejercicios y problemas de dificultad diversa los conceptos que expone a lo largo de esta obra.