TY  - BOOK
AU  - Kelley, Dean
AU  - Díez Platas,  María Luisa 
TI  - Teoría de autómatas lenguajes y formales / 
SN  - 0-13-518705-2
U1  - 629.8 / K287 /1995  
PY  - 1998///.
CY  - España : 
PB  - Prentice- Hall, 
KW  - INGENIERÍA
KW  - AUTÓMATAS
KW  - LENGUAJES FORMALES
N1  - 1. Preliminares Matemáticos. --; 2. Alfabetos y Lenguajes. --; 3. Lenguajes Regulares. --; 4. Lenguajes Independientes del Contexto. --; 5. Máquinas de Turing. --; 6. Máquinas de Turing y Lenguajes. --; 7. Resolubilidad. --; 8. Introducción a la Complejidad Computacional. --; Sede Central; Ingeniería; Licenciatura en Ingeniería de Sistemas Informáticos; Sin Enfasis
N2  - Esta es una obra imprescindible para todo estudiante de informática. Abarca los temas de lenguajes formales y autómatas, máquinas de Turín y computabilidad a través de la decidibilidad. Su estudio necesita un nivel mínimo de conocimientos matemáticos, aunque se evitan, en lo posible, las demostraciones matemáticas demasiado desarrolladas, sin que por ello los teoremas y definiciones dejen de ser preciso. Todos los razonamientos de este libro tienen la intención de motivar al alumno, más que de ser matemáticamente completos o elegantes. En todo momento, el autor ilustra con ejercicios y problemas, de dificultad diversa, los conceptos que expone a lo largo de la obra
ER  -