Lenguajes formales y teoría de la computación /
Jhon C. Martin ; tr. Jorge Luis Blanco y Correa Magallanes.
- 3 ed.
- México : McGraw Hill, 2004.
- 545 p. : il., grafs., tablas, etc.
Traducido de: Introduction to languajes and the theory of computation
Incluye bibliografía, índice, etc.
Pte. 1. Notación y técnicas matemáticas -- 2. Lenguajes regulares y autómatas finitos -- 3. Lenguajes de contexto libre y autómatas finitos con pila -- 4. Máquinas de turing y sus lenguajes -- 5. Problemas insolubles y funciones computables -- 6. Introducción a la complejidad computacional.