Lenguajes formales y teoría de la computación / John C. Martin ; traducción Jorge Luis Blanco y Correa Magallanes.
Tipo de material:![Texto](/opac-tmpl/lib/famfamfam/BK.png)
- 9701045947
- Introduction to languages and the theory of computation.
- QA267.5.S4 M3 2004
Tipo de ítem | Biblioteca actual | Colección | Signatura topográfica | Estado | Notas | Fecha de vencimiento | Código de barras | |
---|---|---|---|---|---|---|---|---|
![]() |
Biblioteca Magna a | Acervo General | QA267.5.S4 M3 2004 | Disponible | 082187 | |||
![]() |
Biblioteca Magna a | Acervo General | QA267.5.S4 M3 2004 | Disponible | Préstamo interno (etiqueta naranja) | 082186 |
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.