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. |