TY  - BOOK
AU  - Martín, John C.
AU  - Jorge Valeriano Assem
AU  - Jesús García Fernández 
AU  - Jesús Abelardo Gómez Andrade
TI  - Lenguajes formales y teoría de la computación 
SN  - 9701045947
AV  - QA267.5S4 M37 2004
PY  - 2004///
CY  - México
PB  - : McGraw-Hill
KW  - INDUCCIÓN MATEMÁTICA
KW  - TEOREMA DE KLEENE
KW  - GRAMÁTICA - AUTÓMATA
KW  - MÁQUINAS DE TURING
N1  - índices de notación y analítico 
Cada capítulo incluye: ejercicios y problemas con más alto grado de dificultad
ER  -