TY  - BOOK
AU  - Martin C. John.
TI  - Lenguajes formales y teoría de la Computación
SN  - 970-10-4594-7
AV  - QA267 H6618 2004
PY  - 2004///
CY  - México
PB  - : McGraw-Hill
N1  - Traduccion de: Jorge Luis Blanco, Correa Magallanes. Incluye Índice; Incluye Referencias Bibliograficas. (p.529-528)Ì; I. Notación y técnicas matemáticas
II. Lenguajes regulares y autómatas finitos
III. Lenguajes de contexto libre y autómatas finitos con pila
IV. Máquinas de turing y sus lenguajes
V. Problemas insolubles y funciones computables
VI. Introducción a la complejidad computacional
ER  -