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. 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.  
Bibliografía.  
Índice alfabético.

*La edición digital no incluye códigos de acceso a material adicional o programas mencionados en el libro.