Corso di laurea in Informatica

Familiarità con i concetti fondamentali della logica, della teoria degli insiemi e della progettazione di algoritmi iterativi e ricorsivi. Capacità di programmare in linguaggi ad alto livello.
Insegnamenti propedeutici (forniscono le competenze attese in ingresso): Programmazione I; Programmazione II; Architettura degli elaboratori; Matematica Discreta e Logica.

L'insegnamento ha l'obiettivo di fornire le nozioni fondamentali relative alla specifica di linguaggi formali e alla traduzione di programmi. Sebbene il corso presenti queste nozioni nel contesto specifico della progettazione e realizzazione di compilatori, i concetti, i formalismi, le metodologie e le tecniche presentate trovano applicazione in un'ampia gamma di contesti in cui si richiede la specifica, la comprensione e la traduzione di informazioni strutturate. La parte teorica dell'insegnamento è affiancata da attività pratiche mirate a illustrare l'applicazione concreta delle suddette tecniche allo sviluppo di programmi per l'analisi di dati strutturati e di altri programmi. La padronanza dei concetti e degli strumenti riguardanti linguaggi formali e traduttori rientra fra gli Obiettivi formativi dell'area informatica di base del CdS in Informatica (L31).

Comprensione e acquisizione della terminologia tecnica del settore. Conoscenza delle metodologie fondamentali per la descrizione della sintassi di linguaggi formali (ad esempio i linguaggi di programmazione) e di alcune tecniche di analisi sintattica e traduzione; capacità di utilizzare tali conoscenze per lo sviluppo di sistemi software. Conoscenza e padronanza degli strumenti di base per la progettazione di traduttori.

CONOSCENZA E CAPACITÀ DI COMPRENSIONE. Acquisizione di conoscenze teoriche e applicative relative a linguaggi formali e traduttori.

CAPACITÀ DI APPLICARE CONOSCENZA E COMPRENSIONE. Acquisizione dell’abilità di applicare conoscenza teorica di linguaggi formali e traduttori alla soluzione di problemi pratici relativi alla traduzione di programmi.

AUTONOMIA DI GIUDIZIO. Acquisizione delle capacità per la valutazione delle correttezza della progettazione di traduttori per linguaggi di programmazione e per valutare l’efficacia della loro implementazione e funzionamento. 

ABILITÀ COMUNICATIVE. Acquisizione della capacità di utilizzare framework precise per ragionare di linguaggi formali (automi a stati finiti, grammatiche) e traduttori (definizioni dirette dalla sintassi, schemi di traduzione).

CAPACITÀ DI APPRENDIMENTO. Acquisizione di capacità di imparare e autovalutarsi, sia rispetto a problemi teorici sia rispetto a problemi pratici, in un modo autonomo.

• Nozioni di base di linguaggi formali
• Automi a stati finiti
• Espressioni regolari
• Proprietà dei linguaggi regolari
• Grammatiche libere
• Automi a pila
• Proprietà dei linguaggi liberi
• Analisi sintattica top-down
• Traduzione diretta dalla sintassi
• Generazione di codice intermedio

L’insegnamento è suddiviso in una parte di teoria (48 ore) e una parte di laboratorio (30 ore). La parte di teoria consiste in un ciclo di lezioni erogate con l'ausilio di slide, note, lavagne (fisiche o virtuali), editor per lo sviluppo di codice. Le lezioni sono accompagnate da sessioni interattive dedicate a chiarimenti, esempi ed approfondimenti sui contenuti del corso. La parte di laboratorio consiste in una serie di esercizi relativi all'applicazione pratica dei concetti trattati nella parte di teoria e forniscono agli studenti l'esperienza necessaria per affrontare l'esercitazione finale, che richiede la realizzazione di un traduttore per un semplice linguaggio di programmazione.

L'esame dell'insegnamento consiste di due prove obbligatorie.

1. Prova scritta composta di domande di natura teorica ed esercizi su tutto il programma del corso.
2. Prova di laboratorio, consistente nella presentazione e discussione di del progetto, che riguarda lo sviluppo e l'implementazione di un traduttore per un semplice linguaggio di programmazione.

Gli esiti di entrambe le suddette prove sono espressi in trentesimi. Per superare le prove, è necessario ottenere un voto di almeno 18 su 30 in entrambe. Per sostenere la prova di laboratorio è necessario prima aver superato la prova scritta. Il voto complessivo per l'insegnamento è ottenuto facendo una media pesata tra il voto della prova scritta e il voto della prova di laboratorio, dove il peso della prova scritta è il doppio di quello della prova di laboratorio. A richiesta, e comunque per ottenere la lode, è possibile sostenere una prova orale integrativa. Le prove devono essere superate nella stessa sessione d'esame.