TY - BOOK AU - Alfonseca Cubero,Enrique AU - Alfonseca Moreno,Manuel AU - Moriyon Salomon,Roberto TI - Teoría de autómatas y lenguajes formales SN - 9788448156374 (pasta blanda) U1 - 511.3 21 ed. PY - 2007/// CY - Madrid PB - McGraw-Hill KW - Lenguajes Formales KW - Sistemas de Control Automático KW - Máquinas de Turing KW - Lógica Matemática KW - Lenguaje de Programación N1 - Incluye referencias bibliográficas, índices, etc; Cap. 1. Máquinas, lenguajes y problemas -- 2. Máquinas de Turing -- 3. Autómatas finitos -- 4. Autómatas a pila -- 5. Gramáticas -- 6. Gramáticas y máquinas -- 7. Lenguajes regulares -- 8. Lenguajes independientes del contexto -- 9. Computabilidad y complejidad -- 10. Otras máquinas y gramáticas -- 11. Sistemas avanzados de cómputo -- A. Conceptos matemáticos utilizados ER -