TY  - BOOK
AU  - Martín, John
AU  - Blanco y Correa Magallanes  ,Jorge Luis
TI  - Lenguajes formales y teoría de la computación
SN  - 9701045947
U1  - 004.0151 21
PY  - 2004///
CY  - México
PB  - Mc Graw Hill, 
KW  - FUNCIONES (MATEMÁTICAS)
KW  - lemb
KW  - LÓGICA SIMBOLICA
KW  - COMPUTADORES
KW  - TEORÍA
KW  - FUNCIONES RECURSIVAS
KW  - TEORÍA DE LAS MÁQUINAS SECUENCIALES
N1  - Contiene índice, referencias, bibliografía, índice de notación; Contenido.
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 pila.
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.
Parte VI. Introducción a la complejidad computacional.
Capítulo 13. Mediación y clasificación de la complejidad.
Capítulo 14. Problemas tratables e intratables.



ER  -