Un compiler รจ un programma che ha come input un altro programma.
La compilazione si compone di diverse fasi, approfondite di seguito.
Questa fase controlla che gli operatori e la sintassi siano corretti avvalendosi di una symbol table (come quella realizzata nel compiler del progetto di Architettura), controlla che gli identificatori siano corretti e che il lessico sia ammissibile.
Riempie parzialmente la symbol table con gli identificatori di variabili, di procedure, ecc.
Come output produce la lista dei token (ovvero i componenti sintattici primitivi).
La lista di token viene data in pasto all'analizzatore sintattico, che procede a:
Produce in output l'albero di derivazione del programma, riconoscendo se le frasi sono sintatticamente corrette.
Esegue dei controlli di semantica statica per rilevare eventuali errori semantici.
Genera in output l'albero di derivazione aumentato.