Martin, John C.  <br/><br/>
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 
<br/><br/>Incluye bibliografía (páginas 529-530) e índice  
<br/><br/>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.   
<br/><br/>
<br/><br/>
<br/><br/><br/>Traducido del inglés al español 
<br/><br/><label>ISBN: </label>9789701045947 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computación<br/>Matemáticas 
<br/><br/><label>Subjects--Index Terms: </label>Lenguajes formales 
<br/><br/><label>Dewey Class. No.: </label>004  / M379l 2004