SINOPSIS: 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