DECA SABRINA DE CAPITANI DI VIMERCATI
Contact Information | Short Biography | Publications | Curriculum (Pdf) | Teaching | Other Links


INSEGNAMENTI

Programma di Linguaggi formali e automi

Obiettivo del Corso

Il corso ha lo scopo di introdurre la teoria dei linguaggi formali e di illustrarne l'applicazione nelle tecniche per la compilazione e l'interpretazione dei linguaggi di programmazione.

Il corso è suddiviso in due parti: la prima parte descrive le principali proprietà dei linguaggi formali e delle loro rappresentazioni; la seconda parte analizza la struttura dei compilatori, esaminando le diverse fasi del processo di traduzione, le problematiche associate a ciascuna di esse e le relative tecniche di soluzione.


Contenuti del Corso

1. Introduzione
Linguaggi e compilatori.

2. Teoria dei linguaggi formali
Concetti di base. Grammatiche. Classificazione di Chomsky. Automi e macchine di Turing.

3. Linguaggi regolari
Grammatiche regolari. Espressioni regolari. Automi a stati finiti.

4. Linguaggi liberi dal contesto
Grammatiche libere dal contesto. Automi a pila.

5. Compilatori
Struttura dei compilatori. Fasi di lavoro di un compilatore. Analisi lessicale. Analisi sintattica. Gestione degli errori. Ottimizzazione del codice. Gestione degli errori. Analisi semantica.


Modalità di esame

L'esame consiste in una prova scritta.