Sillabo dell'insegnamento

• D - Linguaggi
* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
+ AL-BACC - Basic Automata, Computability and Complexity
Grammatiche lineari destre, lemma di iterazione, analizzatori lessicali, proprietà di chiusura dei linguaggi regolari.
PLN - Paradigmi Linguistici
+ AL-BACC - Basic Automata, Computability and Complexity
La gerarchia di Chomsky: linguaggi contestuali e monotoni, linguaggi ricorsivi e ricorsivamente enumerabili.
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
+ PL-LTE - Language Translation and Execution
Compilatori e interpreti. Analisi lessicale, sintattica, semantica. Tecniche di parsing.
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
* PL-SyA - Syntax Analysis
Linguaggi non contestuali, automi a pila, parsing
* LF - Linguaggi Formali
+ AL-BACC - Basic Automata, Computability and Complexity
Generalità sui linguaggi di programmazione e compilatori. Alfabeto, parole, linguaggi, grammatiche, operazioni tra linguaggi.
* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
+ AL-BACC - Basic Automata, Computability and Complexity
Automi a stati finiti, modello deterministico e non deterministico linguaggi regolari e teorema di Kleene, automa minimo e teorema di Myhill-Nerode .