Sillabo dell'insegnamento

• D - Linguaggi
* LF - Linguaggi Formali
Analisi Sintattica I.Grammatiche.Sintassi e semantica.Definizione formale.Derivazioni e Alberi di derivazione.Derivazioni rightmost e leftmost.Grammatiche ambigue.La gerarchia di Chomsky.Parser Top-Down.Ricorsioni sinistre.Backtracking.Recursive-Descent Parsing.Parser predittivi.Definizioni e utilizzo degli insiemi FIRST e FOLLOW.Descrizione e uso della Tavola di un parser predittivo.Costruzione della Tavola di un parser predittivo.Conflitti.
* LF - Linguaggi Formali
Analisi Sintattica II.Introduzione ai parser bottom-up.Fare il parsing con una pila.Definizione di Handle.Parser LR.Descrizione e uso della Tavola di un parser predittivo.Costruzione della Tavola di un parser predittivo.Gestione degli errori.Conflitti.Parser .LR Canonici.Parser LALR.Costruzione forza bruta.
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Sintassi di Lex e Yacc
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Progetto di Compilatori: Lex
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Progetto di Compilatori: Yacc
* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
Introduzione ai compilatori. Linguaggio macchina, Assembler, linguaggi di alto livello. Terminologia.Compilatori e Interpreti.Ambiente di Compilazione.Fasi di un Compilatore.Passi, front end, back end.Tavola dei simboli e gestione degli errori.Scrivere un compilatore.Compilatori reindirizzabili.Analisi lessicale Token e lexemi.Buffering.Automi a stati finiti deterministici non deterministici e determinizzazione espressioni regolari.Connessione con gli automi a stati finiti.Il pumping lemma.Applicazioni all'analisi lessicale.Riconoscimento dei Token.Un analizzatore lessicale semplificato per il linguaggio Pascal.Implementazione di macchine a stati finiti.Il problema del Lookahead.