A a tradução de um programa de uma linguagem textual para uma linguagem de máquina.
B a verificação de tipos, de fluxos de controle e da unicidade da declaração de variáveis.
C a análise do código já otimizado e a produção de um código objeto definitivo para uma máquina-alvo.
D a produção de um código de testes para verificar se cada método funciona da forma prevista.
E um conjunto de regras que define quais sequências de símbolos são consideradas expressões válidas na linguagem.