TY  - BOOK
AU  - Kelley,Dean
AU  - Díez Platas,María Luisa
AU  - Joyanes Aguilar,Luis
TI  - Teoría de autómatas y lenguajes formales  / 
U1  - 511.3 
PY  - 2006///
CY  - Madrid
PB  - Prentice Hall
KW  - Lógica
KW  - Lenguaje
KW  - Matemáticas
KW  - Programación
KW  - Informática
KW  - AUTOMATAS
KW  - LENGUAJES FORMALES
KW  - TEORIA DE LAS MAQUINAS
N1  - Incluye referencias y bibliografía e índice analítico; Preliminares matemáticos -- 1. Alfabetos y lenguajes -- 2. Lenguajes regulares -- 3. Lenguajes independientes del contexto -- 4. Máquinas de Turing -- 5. Máquinas de Turing y lenguajes -- 6. Resolubilidad -- 7. Introducción a la complejidad computacional
ER  -