Introdución al diseño de compiladores e interpretes basados en la teoría de la computación, lenguajes formales, gramáticas y autómatas.