Vista normal Vista MARC Vista ISBD

Martin, John C.

Lenguajes formales y teoría de la computación / John C. Martin ; traducido por Jorge Luis Blanco y Correa Magallanes ; revisión técnica, Jorge Valeriano Assem, Jesús García Fernández, Abelardo Gómez Andrade - Tercera edición - xiv, 545 páginas : ilustraciones ; 24 cm

Incluye bibliografía (páginas 529-530) e índice

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 pilas - 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 - Capítulo 13. Medición y clasificación de la complejidad - Capítulo 14. Problemas tratables e intratables.






Traducido del inglés al español

ISBN: 9789701045947

Subjects--Topical Terms:
Computación
Matemáticas

Subjects--Index Terms: Lenguajes formales

Dewey Class. No.: 004 / M379l 2004