Lenguajes formales y teoría de la computación / John C. Martin, Jorge Luis Blanco y Correa Magallanes
Idioma: Español Detalles de publicación: México : McGraw-Hill, 2004Edición: 9a. edDescripción: 545 p. : 23 x 19 cm. IlustracionesISBN: 9701045947Tema(s): Teoría de las máquinas secuenciales | Funciones computablesClasificación CDD: 511.3 Clasificación LoC:QA267.5 | M379l 2004
Contenidos:
1. Notación y técnicas matemáticas -- 2. Lenguajes regulares y autómatas finitos -- 3. Lenguajes de contexto libre y autómatas finitos con pila -- 4. Máquinas de Turing y sus lenguajes -- 5. Problemas insolubles y funciones computables -- 6. Introducción a la complejidad computacional
Tipo de ítem | Biblioteca actual | Colección | Signatura | Copia número | Estado | Notas | Fecha de vencimiento | Código de barras |
---|---|---|---|---|---|---|---|---|
Libros | CEST | Colección Reserva | 511.3 M379l 2004 (Navegar estantería(Abre debajo)) | Ej. 1 | Disponible | Lectura en sala | CST114267 | |
Libros | COACALCO | Colección General | QA267.5 M379l 2004 (Navegar estantería(Abre debajo)) | Ej. 1 | Disponible | CCL004166 | ||
Libros | COACALCO | Colección General | QA267.5 M379l 2004 (Navegar estantería(Abre debajo)) | Ej. 2 | Disponible | CCL004167 | ||
Libros | COACALCO | Colección General | QA267.5 M379l 2004 (Navegar estantería(Abre debajo)) | Ej. 3 | Disponible | CCL004168 | ||
Libros | INDUSTRIAS | Colección General | 511.3 M379l 2004 (Navegar estantería(Abre debajo)) | Ej. 1 | Disponible | NDS000174 | ||
Libros | QUERÉTARO | Colección General | 511.3 M379l 2004 (Navegar estantería(Abre debajo)) | Ej. 1 | Disponible | QRT004570 |
Incluye índice
1. Notación y técnicas matemáticas -- 2. Lenguajes regulares y autómatas finitos -- 3. Lenguajes de contexto libre y autómatas finitos con pila -- 4. Máquinas de Turing y sus lenguajes -- 5. Problemas insolubles y funciones computables -- 6. Introducción a la complejidad computacional