-
Lezione 1
(Gio 23/09/04)
-
Introduzione al corso. Perché è importante la teoria dei linguaggi
formali. Differenza tra interprete e compilatore. Fasi di lavoro di
un compilatore: analisi lessicale, analisi sintattica e analisi semantica.
-
Lezione 2
(Ven 24/09/04)
-
Introduzione alle teoria dei linguaggi formali. Definizione di
linguaggio. Operazioni su stringhe e linguaggi. Grammatiche:
definizione informale e formale.
-
Lezione
3
(Gio 30/09/04)
-
Classificazione di Chomsky. Albero sintattico e derivazioni
canoniche. Grammatiche ambigue e non ambigue. Qualità delle grammatiche.
-
Lezione
4
(Ven 01/10/04)
-
Espressioni regolari e automi a stati finiti.
-
Lezione 5 (Gio 07/10/04)
-
Esercizi.
-
Lezione
6
(Ven 08/10/04)
-
Trasformazione di automa a stati finiti non deterministico in automa a
stati finiti deterministico. Da grammatica regolare ad automa a stati
finiti. Automa minimo. Pumping lemma. Automi a pila.
-
Lezione 7 (Ven 15/10/04)
-
Esercizi.
-
Lezione
8
(Gio 21/10/04)
-
Trasformazione grammatica-automa a pila. Analisi lessicale. Analisi sintattica: top-down.
-
Lezione
9
(Ven 22/10/04)
-
Fattorizzazione sinistra. Insieme degli inizi ed insieme dei seguiti.
-
Lezione
10
(Gio 18/11/04)
-
Analisi bottom-up.
-
Lezione
11
(Ven 19/11/04)
-
Costruzione dell'automa che riconosce i prefissi LR tramite regole puntate.
-
Lezione
12
(Gio 25/11/04)
-
Trattamento degli errori: cenni. Esercizi.
-
Lezione 13 (Ven 26/11/04)
-
Esercizi.
-
Lezione
14
(Ven 03/12/04)
-
Grammatica con attributi.
-
Lezione
15
(Gio 09/12/04)
-
Grammatica con attributi.
-
Lezione 16 (Ven 10/12/04)
-
Esempi e Esercizi.
 |
|
|
|
