TY  - BOOK
AU  - Martín, John C.
TI  - Lenguajes formales y teoría de la computación
SN  - 9701045947
AV  - QA267.5S4 M3718
PY  - 2004///
CY  - México 
PB  - : McGraw Hill
KW  - MÁQUINAS SECUENCIALES, TEORÍA DE LAS
KW  - FUNCIONES COMPUTABLES
N1  - 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  -