Lenguajes formales y teoría de la computación

Martín, John C. - México, D.F. : McGraw-Hill / Interamericana - 2004

Notación y técnicas matemáticas -- Lenguajes regulares y autómatas finitos -- Lenguajes de contexto libre y autómatas finitos con pila -- Máquinas de turing y sus lenguajes -- Problemas insolubles y funciones computables -- Introducción a la complejidad computacional.