Sillabo dell'insegnamento

• D - Linguaggi
* LF - Linguaggi Formali
Linguaggi e grammatiche. Grammatiche dipendenti da contesto, libere da contesto, regolari e le relative classi di linguaggi. Alberi di derivazione.
* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
Automi a stati finiti deterministici e non deterministici. Espressioni e Linguaggi regolari. Propriet? dei Linguaggi Regolari. Macchine di Turing. Teorema di Kleene.
* LF - Linguaggi Formali
Forma normale di Chomsky. Algoritmo di riconoscimento di Cocke-Kasami-Young. Automi a pila deterministici e non deterministici. Caratterizzazione dei linguaggi liberi da contesto mediante automi a pila. Propriet? di chiusura dei linguaggi liberi da contesto.
MP - Metodologie di Programmazione
Il problema di string matching e i relativi algoritmi basati su automi a stati finiti. Strumenti di manipolazione dei testi basati su automi a stati finiti ed espressioni. regolari: grep e programmi derivati (awk, sed, perl).
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Propriet? del linguaggio XML legateai linguaggi regolari: parsing superficiale.
* LF - Linguaggi Formali
Forma normale di Chomsky. Algoritmo di riconoscimento di Cocke-Kasami-Young. Automi a pila deterministici e non deterministici. Caratterizzazione dei linguaggi liberi da contesto mediante automi a pila. Propriet? di chiusura dei linguaggi liberi da contesto.