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 |
Browsing BIBLIOTECA CENTRAL - PANAMÁ shelves, Shelving location: Fondo general, Collection: Col. General Close shelf browser (Hides shelf browser)
005.13 K459 El lenguaje de programación C | 005.13 K459 El lenguaje de programación C | 005.13 P188 Lenguajes de programación : | 005.131 M363 Lenguajes formales y teoría de la computación | 005.133 An886 Programación estructurada en C | 005.133 An886 Programación estructurada en C | 005.133 Ar641 El Lenguaje de programación en Java |
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.