Parser
Definizione rapida
Il parser è il componente che controlla se una sequenza di token rispetta la grammatica di un linguaggio.
Spiegazione
All'interno di un compilatore, il parser riceve dall'analizzatore lessicale token come parole riservate, operatori e variabili. Cerca quindi una regola grammaticale che renda valida la loro presenza e disposizione. Se l'analisi riesce, il flusso può passare al generatore che conduce al programma oggetto.
Esempio pratico
Davanti a una sequenza con if, then, else e variabili, il parser verifica che ogni elemento occupi una posizione ammessa dalla grammatica.
Spiegazione tecnica
La catena descritta parte dal sorgente, prosegue con l'analisi lessicale e sintattica e arriva alla generazione del codice del programma oggetto.
Da non confondere con
Il parser non produce i token: questo compito appartiene all'analizzatore lessicale, che opera prima del controllo sintattico.