GARCÍA SÁIZ,TOMÁS / GAUDIOSO VÁZQUEZ,ELENA
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. Enesta nueva edición del libro se han introducido los fundamentos parala aplicación práctica de este tipo de máquinas en la construcción delos analizadores necesarios para la compilación de lenguajes deprogramación. Además, se han introducido los fundamentos para laminimización de autómatas con el objetivo de servir de base pararutinas de análisis más eficaces