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