Enfocado en la teoría de autómatas y gramáticas formales, este libro detalla cómo traducir especificaciones lingüísticas en compiladores efectivos, cubriendo análisis léxico, sintáctico y semántico con ejemplos claros.