Análise léxica e sintática. Tabelas de símbolos. Esuemas de traduação. Ambientes de tempo de execução. Representação intermediária. Análise semântica estática. Geração de código. Otimização de código. Interpretadores. Linguagens formais e autômatos. Autômatos de estado finitos e sua representação. Modelos computáveis e máquina de Turing. Teoria da computação.