1. Dedicatoria

2. Índice general

3. Prólogo

4. Introducción

5. ¿Qué es un compilador?

6. Alfabetos, palabras y lenguajes

7. Operaciones con cadenas

8. Operaciones con lenguajes

9. Gramática independiente del contexto

10. Ejercicios de gramática independiente del contexto

11. Ejercicios resueltos del tema 01

12. Análisis léxico

13. Especificaciones de los componentes léxicos

14. Autómatas finitos

15. Ejercicios de análisis léxico (1)

16. Ejercicios de análisis léxico (2)

17. Análisis sintáctico

18. El papel del analizador sintáctico

19. Gramáticas independientes del contexto

20. Escritura de una gramática

21. Ejercicios de análisis sintáctico

22. Traducción dirigida por la sintáxis

23. Definiciones dirigidas por la sintáxis

24. Ejercicios de traducción dirigidas por la sintáxis

25. Comprobación de tipos

26. Sistemas de tipos

27. Especificación de un compilador de tipos sencillo

28. Conversiones de tipos

29. Sobrecarga de función y operadores

30. Ejercicios de comprobación de tipo

31. Ambientes para el momento de la ejecución

32. Organización de la memoria

33. Estrategias para la asignación de memoria

34. Ejercicios ambiente para el momento de la ejecución

35. Generación de código intermedio

36. Lenguajes intermedios

37. Proposiciones de asignación

38. Ejercicios de generador de código intermedio

39. Máquina de turing

40. Máquinas de turing universales

41. Construcción de máquinas de turing

42. Máquinas de turing como a