TY  - BOOK
AU  - Martin,John C.
AU  - Blanco y Correa Magallanes,Jorge Luis
AU  - Valeriano Assem,Jorge
AU  - García Fernández,Jesús
AU  - Gómez Andrade,Abelardo
TI  - Lenguajes formales y teoría de la computación. - 3 edición
SN  - 9701045947
U1  - 005 20
PY  - 2004///
CY  - México
PB  - McGraw-Hill
KW  - Lenguajes formales
KW  - LEMB
KW  - Autómatas
KW  - Lenguajes de programación (Computadores electrónicos)
KW  - Computadores
KW  - Informática
N1  - Incluye referencias bibliográficas e índice de notación (páginas 527-545); Parte 1.- 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 2.- Lenguajes regulares y autómatas finitos; Capítulo 3.- Extensiones regulares y autómatas finitos; Capítulo 4.- No determinismo y el teorema de Kleene; Capítulo 5.- Lenguajes regulares y no regulares; Parte 3.- 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 4.- Máquinas de Turing y sus lenguajes; Capítulo 9.- Máquinas de Turing; Capítulo 10.- Lenguajes enumerables recursivamente; Parte 5.- Problemas insolubles y funciones computables; Capítulo 11.- Problemas insolubles; Capítulo 12.- Funciones computables; Parte 6.- Introducción a la complejidad computacional; Capítulo 13.- Medición y clasificación de la complejidad; Capítulo 14.- Problemas tratables e intratables
N2  - Lenguajes formales y teoría de la computación es un tratado de la teoría de la computación con énfasis en los lenguajes formales, autómatas y modelos abstractos de computación y de computabilidad; también incluye una introducción a la complejidad computacional y a los problemas NP completos [...]; (Resumen tomado del libro el 31/05/2017)
UR  - https://www.casadellibro.com/libro-lenguajes-formales-y-teoria-de-la-computacion-3-ed/9789701045947/991747
ER  -