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: materialTypeLabelLibroProductor: 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ón
Contenidos parciales:
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
Resumen: 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)
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Item type Current location Collection Call number Copy number Status Date due Barcode
Libro - Material General 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.

to post a comment.

Click on an image to view it in the image viewer