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
Tipo de material:
TextoIdioma: Español Lenguaje original: Inglés México : McGraw-Hill, copyright 2004Edición: Tercera ediciónDescripción: xiv, 545 páginas : ilustraciones ; 24 cmTipo de contenido: - texto
- no mediado
- volumen
- 9789701045947
- 004 M379l 2004
| Tipo de ítem | Biblioteca actual | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras | |
|---|---|---|---|---|---|---|---|
Libro
|
Miguel de Cervantes Sala general | 004 M379l 2004 (Navegar estantería(Abre debajo)) | Ej.1 | Disponible | 00004567 |
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.
Sistemas
Introduction to languages and the theory of computation 0072322004
Traducido del inglés al español
No hay comentarios en este titulo.
Haga clic en una imagen para verla en el visor de imágenes