TY  - BOOK
AU  - Martin,John C.
AU  - Blanco y Correa Magallanes,Jorge Luis
AU  - Valeriano Assem,Jorge
AU  - García Fernández,Jesús
AU  - Gómez Andrade,Abelardo
TI  - Lenguajes formales y teoría de la computación
SN  - 9789701045947
U1  - 004 
PY  - 2004///
CY  - México
PB  - McGraw-Hill
KW  - lemb
KW  - Computación
KW  - Matemáticas
KW  - Lenguajes formales
N1  - Incluye bibliografía (páginas 529-530) e índice; Parte I. Notación y técnicas matemáticas - Capítulo 1. Objetos matemáticos básicos - Capítulo 2. Inducción matemática y definiciones recursivas - Parte II. Lenguajes regulares y autómatas finitos - Capítulo 3. Expresiones regulares y autómatas finitos - Capítulo 4. No determinismo y el teorema de Kleene - Capítulo 5. Lenguajes regulares y no regulares - Parte III. Lenguajes de contexto libre y autómatas finitos con pila - Capítulo 6. Gramáticas de contexto libre - Capítulo 7. Autómatas con pilas - Capítulo 8. Lenguajes de contexto libre y lenguajes que no son de contexto libre - Parte IV. Máquinas de Turing y sus lenguajes - Capítulo 9. Máquinas de Turing - Capítulo 10. Lenguajes enumerables recursivamente - Parte V. Problemas insolubles y funciones computables - Capítulo 11. Problemas insolubles. - Capítulo 12. Funciones computables - Capítulo 13. Medición y clasificación de la complejidad - Capítulo 14. Problemas tratables e intratables.; Sistemas; Introduction to languages and the theory of computation; 0072322004
ER  -