No. de Sistema: ( 267535 ) Clasificación LC: ( QA267.5.S4 M3 2004)
ISBN: ( 9701045947 )
Autor: Martin, John C.
Título: Lenguajes formales y teoría de la computación /
Responsabilidad: John C. Martin ; traducción Jorge Luis Blanco y Correa Magallanes.
Edición: 3a ed.
Pie de imprenta: México : McGraw-Hill, 2004
Descripción física: xvii, 545 p. : il. ; 24 cm.

Bibliografía: p. 529-530.

Parte I.- Notación y técnicas matemáticas.-- Capítulo 1.- Objetos matemáticos básicos.-- Capítulo 2.- Inducción matemáticas y definiciones recursivas.-- Parte II.- Lenguajes regulares y autómatas finitos.-- Capítulo 3.- Expresiones regulares y autómatas finitos.-- Capítuo 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 pila.-- 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 turing.-- Capítulo 10.- Lenguajes enumerables recursivamente.-- Parte V.- Problemas insolubles y funciones computables.-- Capítulo 11.- Problemas insolubles.-- Capítulo 12.- Funciones computables.-- Parte VI.- Introducción a la complejidad computacional.-- Capítulo 13.- edición y clasificación de la complejidad.-- Capítulo 14.- Problemas tratables e intratables.

Temas - Términos temáticos (Subjects--Topical Terms):

  • Teoría de las maquinas secuenciales
  • Funciones calculables

    • Entradas Secundarias - Nombre Personal:
    Blanco y Correa Magallanes, Jorge Luis, tr.
    Ítems:
    Código de barras: [ 082187 ] Biblioteca: [ Biblioteca Magna ] Colección/Fondo: [Acervo General] Tipo de ítem: [ 03-Préstamo a 3 días (Libros) ]
    Código de barras: [ 082186 ] Biblioteca: [ Biblioteca Magna ] Colección/Fondo: [Acervo General] Tipo de ítem: [ 01-Préstamo Interno (Libros) ]