Lenguajes formales y teoría de la computación John C. Martin ; traducción Jorge Luis Blanco y Correa Magallanes
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
![]() |
BIBLIOTECA CENTRAL - PANAMÁ Fondo general | Col. General | 005.131 M363 (Browse shelf(Opens below)) | e.1 | Available | 008336 |
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.
There are no comments on this title.