Sillabo dell'insegnamento

• D - Linguaggi
* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
Grammatiche lineari destre, lemma di iterazione, analizzatori lessicali, proprietà di chiusura dei linguaggi regolari.
PLN - Paradigmi Linguistici
La gerarchia di Chomsky: linguaggi contestuali e monotoni, linguaggi ricorsivi e ricorsivamente enumerabili.
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Compilatori e interpreti. Analisi lessicale, sintattica, semantica. Tecniche di parsing.
* S - Semantica
Analisi semantica
* LF - Linguaggi Formali
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
Automi a stati finiti, modello deterministico e non deterministico linguaggi regolari e teorema di Kleene, automa minimo e teorema di Myhill-Nerode .