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 |
Navegando QUERÉTARO Estantes, Código de colección: Colección General Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
511 L961d 1001 desafíos de razonamiento lógico-matemático / | 511 L961d 1001 desafíos de razonamiento lógico-matemático / | 511 P781c Cómo plantear y resolver problemas / | 511.3 M379l 2004 Lenguajes formales y teoría de la computación / | 511.3 S9595 Primer curso de lógica matemática / | 511.3 S959p Primer curso de lógica matemática / | 511.33 M189a Análisis matricial de estructuras / |
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