Este livro apresenta os principais conceitos relacionados à construção de compiladores: a representação formal de linguagens de programação, fundamentos para a construção de analisadores léxicos por meio de autômatos finitos determinísticos, estratégias para realizar a análise sintática e a construção de analisadores sintáticos, geração e otimização de código.