Sillabo dell'insegnamento

• D - Linguaggi
* LF - Linguaggi Formali
Linguaggi Regolari e Analizzatori Lessicali: Grammatiche di tipo 3 e linguaggi regolari. Espressioni regolari. Automi deterministici e non, eliminazione del non-determinismo. Esempi di scrittura di analizzatori lessicali. Utilizzo di un generatore di analizzatori lessicali.
* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
Linguaggi Non Contestuali e Automi a Pila: Alberi di parsing. Derivazioni. Automi a pila deterministici e non. Analisi sintattica di tipo ascendente o discendente.
* S - Semantica
Grammatiche ad Attributi per l'Analisi Semantica: Le grammatiche ad attributi. Attributi ereditati e sintetizzati. Azioni con effetti collaterali. Azioni semantiche.
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
La compilazione di un linguaggio: traduzione o interpretazione. Analisi lessicale e sintattica discendente. Azioni di semantica statica. Definizione di una macchina a pila e del relativo linguaggio assembler e interprete della macchina. Traduzione nel linguaggio assembler della macchina.
* LF - Linguaggi Formali
Linguaggi e Grammatiche: il linguaggio universale, operazioni su linguaggi, decidibilit?. Grammatiche di tipo 2 e generazione di linguaggi non contestuali. Cenni a grammatiche contestuali e generali.