Inicio  |  Simple  |  Avanzada  |  Autores  |  Temas  |  Ayuda  |  
 


 Sobre la Biblioteca
 Horarios
 Servicios
 Bases de Datos y Repositorio Digital
 Acervo Salaverry

Ficha bibliografica

Código: 511.3 H75 [Universidad Católica San Pablo]
Ubicación:Segundo piso estanteria abierta
Autor Personal:Hopcroft, John E.
Edición:2ª ed.
TítuloIntroducción a la teoría de autómatas, lenguajes y computación
Ciudad: Madrid
Editorial: Pearson Educación, S.A.
Año: 2002
Descripción:xvii., 562 páginas; figs.; cuads. 24 cm.
ISBN:8478290567
Notas:F.I. 10/10/2003
Palabras Claves:LÓGICA MATEMÁTICA;
Términos Locales:Lógica matemáticas - Matemáticas computacionales - Linguística computacional - Lenguajes de programación - Lenguajes formales - Teoría de autómatas matemáticos;
Encabezados Geográficos:

Código: 511.3 H75 [Universidad Católica San Pablo]
100:Hopcroft, John E.
250:2ª ed.
245Introducción a la teoría de autómatas, lenguajes y computación
260:Madrid: Pearson Educación, S.A.: 2002:
300:xvii., 562 páginas; figs.; cuads. 24 cm.
020:8478290567
500:F.I. 10/10/2003
650:LÓGICA MATEMÁTICA
653Lógica matemáticas - Matemáticas computacionales - Linguística computacional - Lenguajes de programación - Lenguajes formales - Teoría de autómatas matemáticos

Hopcroft, John E.. Introducción a la teoría de autómatas, lenguajes y computación . --2ª ed.. --Madrid: Pearson Educación, S.A.: 2002. # Ingreso:U0013164

   xvii., 562 páginas; figs.; cuads..24 cm..

¿Para qué sirven los autómatas? - Autómatas finitos - Expresiones y lenguajes regulares - Propiedades de los lenguajes regulares - Gramáticas independientes del contexto - Autómatas a pila - Propiedades de los lenguajes independientes del contexto - Introducción a las máquinas de turing - Problemas indecidibles - Problemas intratables - Otras clases de problemas

Número Ingreso Código Base de Datos Ubicación Tipo # Ej. Status Devolución Reserva
U0013164 511.3 H75  Universidad Católica San Pablo Segundo piso estanteria abierta Original 1Disponible  

Obras RelacionadasObras del mismo Autor
    w
      Sistema Asterik 2014 - V.3.0