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 -