TY - MANSCPT AU - Kelley, Dean TI - Teoría de autómatas y lenguajes formales SN - 0135187052 U1 - 511.3 PY - 1995/// CY - Madrid, España PB - Prentice Hall KW - Teoría de Autómatas KW - Lenguajes Formales KW - Lógica Matemática KW - Matemáticas KW - Operaciones con Lenguaje N1 - 0. Preliminares matemáticos. 1. Alfabetos y lenguajes 2. Lenguajes regulares 3. Lenguajes independientes del contexto. 4. Máquinas de turing 5 .Maquinas de turing y lenguajes 6. Resolubilidad 7. Introducción a la Complejidad computacional. -- Bibliografía ER -