| SECCIÓN | TEMA | PÁGINA |
| Capítulo 1. |
Introducción a la teoría de la computación. |
1. |
| Capítulo 2. |
Gramáticas y lenguajes formales. |
21. |
| Capítulo 3. |
Máquinas secuenciales y autómatas finitos deterministas. |
119. |
| Capítulo 4. |
Autómatas finitos no deterministas. |
179. |
| Capítulo 5. |
Autómatas con pila. |
259. |
| Capítulo 6. |
Autómata linealmente acotado y máquina de turing. |
319. |
| Capítulo 7. |
Simuladores de máquinas abstractas. |
391. |
| Capítulo 8. |
Introducción a la semántica de lenguajes. |
407. |
| Apéndice A. |
Conceptos de compiladores e interpretes. |
425. |
| Apéndice B. |
El alfabeto griego. |
453. |
| Apéndice C. |
Símbolos y siglas. |
455. |
|
Bibliografía. |
461. |
