Lenguajes formales y teoría de la computación / John C. Martin ; traducción Jorge Luis Blanco y Correa Magallanes
Material type: TextLanguage: Spanish Original language: ing Publication details: México : Mc Graw Hill, 2004Edition: 3a. ediciónDescription: xvii, 545 paginas. : ilustraciones. ; 24 cmISBN: 9701045947Subject(s): FUNCIONES (MATEMÁTICAS) | LÓGICA SIMBOLICA | COMPUTADORES -- TEORÍA | FUNCIONES RECURSIVAS | TEORÍA DE LAS MÁQUINAS SECUENCIALESDDC classification: 004.0151Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Libros/ General | BIBLIOTECA CENTRAL - PANAMÁ Fondo general | Col. General | 004.0151 M379 (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.