Lenguajes formales y teoría de la computación /
Martín, John
Lenguajes formales y teoría de la computación / John C. Martin ; traducción Jorge Luis Blanco y Correa Magallanes - 3a. edición. - México : Mc Graw Hill, 2004. - xvii, 545 paginas. : ilustraciones. ; 24 cm.
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.
9701045947
FUNCIONES (MATEMÁTICAS)
LÓGICA SIMBOLICA
COMPUTADORES --TEORÍA
FUNCIONES RECURSIVAS
TEORÍA DE LAS MÁQUINAS SECUENCIALES
004.0151 / M379
Lenguajes formales y teoría de la computación / John C. Martin ; traducción Jorge Luis Blanco y Correa Magallanes - 3a. edición. - México : Mc Graw Hill, 2004. - xvii, 545 paginas. : ilustraciones. ; 24 cm.
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.
9701045947
FUNCIONES (MATEMÁTICAS)
LÓGICA SIMBOLICA
COMPUTADORES --TEORÍA
FUNCIONES RECURSIVAS
TEORÍA DE LAS MÁQUINAS SECUENCIALES
004.0151 / M379
