Lenguajes formales y teoría de la computación. - 3 edición
Por: Martin, John C.
Colaborador(es): Blanco y Correa Magallanes, Jorge Luis [Traductor] | Valeriano Assem, Jorge [Revisor técnico] | García Fernández, Jesús [Revisor técnico ] | Gómez Andrade, Abelardo [Revisor técnico].
Tipo de material: LibroProductor: México : McGraw-Hill, 2004Edición: Tercera edición.Descripción: xvii, 545 páginas : gráficos ; 24 cm.Idioma: EspañolISBN: 9701045947; 0072322004.Materia(s): Lenguajes formales | Autómatas | Lenguajes de programación (Computadores electrónicos) | Computadores | InformáticaClasificación CDD: 005 Recursos en línea: Reseña | Lenguajes formales y teoría de la computaciónItem type | Current location | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Libro - Material General | Biblioteca Campus Palmas General | General | 005.131/M379/3 edición (Browse shelf) | 1 | Available (Sin Restricciones) | 0012628 |
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)
There are no comments on this title.