
Teoría de Autómatas y Lenguajes



Traducción:
María Luisa Díez Platas (Universidad Pontificia de Salamanca)
Campus de Madrid
Revisión técnica:
Luis Joyanes Aguilar (Universidad Pontificia de Salamanca)
Campus de Madrid
Descripción:
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.
Contenidos:
Preliminares matemáticos. Alfabetos y lenguajes. Lenguajes regulares. Lenguajes independientes del contexto. Máquinas de Turing. Máquinas de Turing y lenguajes. Resolubilidad. Introducción a la complejidad computacional.
® Prentice Hall 1995
Otros libros de Autómatas Programables: