1. Introducción y conceptos previos. -2. Autómatas finitos. -3. Gramáticas regulares. -4. Expresiones regulares. -5. Propiedades de los lenguajes regulares y lenguajes no regulares. -6. Lenguajes y gramáticas independientes del contexto. -7. Autómatas a pila. -8. Propiedades de los lenguajes independientes del contexto. -9. Introducción a las máquinas de Turing. -10. Ejercicios de autoevaluación. -11. Soluciones a los ejercicios.
Este libro presenta los fundamentos de las máquinas teóricas conocidas como autómatas finitos, autómatas a pila y máquinas de Turing. En esta nueva edición del libro se han introducido los fundamentos para la aplicación práctica de este tipo de máquinas en la construcción de los analizadores necesarios para la compilación de lenguajes de programación. Además, se han introducido los fundamentos para la minimización de autómatas con el objetivo de servir de base para rutinas de análisis más eficaces