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