Estudo de teorias e técnicas para construção de compiladores. São abordados os tópicos de Análise Léxica, Análise Sintática, Análise Semântica e Geração de Código.

Estudo de modelos teóricos da computação, de linguagens formais e de autômatos. Neste curso são abordados os tópicos de linguagens formais e autômatos, máquinas universais, computabilidade e complexidade.