Martin, John C.
Lenguajes formales y teoría de la computación. - 3 edición - Tercera edición - xvii, 545 páginas : gráficos ; 24 cm.
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
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)
9701045947 0072322004
Lenguajes formales
Autómatas
Lenguajes de programación (Computadores electrónicos)
Computadores
Informática
005 / M379
Lenguajes formales y teoría de la computación. - 3 edición - Tercera edición - xvii, 545 páginas : gráficos ; 24 cm.
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
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)
9701045947 0072322004
Lenguajes formales
Autómatas
Lenguajes de programación (Computadores electrónicos)
Computadores
Informática
005 / M379
Sede Las Palmas: km 2 + 200 Vía al Aeropuerto José María Córdoba Envigado, Colombia.
Tel: (+57) 604 354 90 90, ext. 248
