-
Lezione 1
(Ven 20/02/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
(Mer 25/02/04)
-
Introduzione alle teoria dei linguaggi formali. Definizione di
linguaggio. Operazioni su stringhe e linguaggi. Grammatiche:
definizione informale e formale.
-
Lezione
3
(Mer 03/03/04)
-
Classificazione di Chomsky. Albero sintattico e derivazioni
canoniche. Grammatiche ambigue e non ambigue. Qualità delle grammatiche.
-
Lezione
4
(Ven 05/03/04)
-
Espressioni regolari. Esercizi.
-
Lezione
5
(Mer 10/03/04)
-
Automi a stati finiti deterministici e non deterministici.
-
Lezione
6
(Ven 12/03/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
(Mer 17/03/04)
-
Esercizi.
-
Lezione 8
(Ven 19/03/04)
-
Esercizi.
-
Lezione 9
(Mer 24/03/04)
-
Trasformazione grammatica-automa a pila. Analisi lessicale. Analisi sintattica: top-down.
-
Lezione 10
(Ven 26/03/04)
-
Fattorizzazione sinistra. Insieme degli inizi ed insieme dei seguiti.
-
Lezione 11
(Mer 31/03/04)
-
Analisi a spostamento e riduzione. Grammatica dei prefissi LR(1) e automa per il riconoscimento di tali prefissi.
-
Lezione 12
(Mer 21/04/04)
-
Costruzione dell'automa che riconosce i prefissi LR tramite regole puntate.
-
Lezione 13 - Lezione 17
(Ven 23/04/04) - (Ven 07/05/04)
-
Gli appunti di queste lezioni sono disponibili alla pagina Web del dott. Cordone.
-
Lezione 18
(Ven 14/05/04)
-
Esercizi.
-
Lezione 19
(Mer 26/05/04)
-
Cenno ai metodi per il trattamento degli errori. Esercizi.
-
Lezione 20
(Ven 28/05/04)
-
Ripasso e esercizi in preparazione dell'esame.
 |
|
|
|
