inoltre nell'analisi lessicale il compilatore controlla se le parole scritte sono presenti nel linguaggio .
nell'analisi sintattica controlla se la frase scritta è grammaticalmente esatta .
nell'analisi semantica controlla se cio che si è scritto è sintatticamente esatto (cioè se la frase ha un senso).
nella generazine del codice viene preso il codice nella sua rappresentazione intermedia (IR), insieme con le informazioni contenute nella symbol table e viene prodotto un programma target semanticamente equivalente.
infine l'ottimizzazione è il processo che consente di ottenere le migliori prestazioni e di ridurre al minimo le dimensioni del codice.