Índice1. Máquinas, lenguajes y problemas. 2. Máquinas de Turing. 3. Autómatas finitos4. Autómatas a pila. 5. Gramáticas. 6. Gramáticas y máquinas. Tipos 0 y 1. 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. Apéndice A. Conceptos matemáticos utilizados.