Docente: L. Pomello

Crediti:4 CFU

Descrizione e Programma del Corso

Conoscenze: Vengono presentati metodi e tecniche di base per la costruzione di analizzatori lessicali e sintattici di linguaggi di programmazione, i risultati fondamentali della teoria dei linguaggi formali e la loro applicazione.

Abilità: Lo studente dovrà essere in grado di mettere in relazione risultati della teoria dei linguaggi formali con le tecniche di base per la costruzione di analizzatori lessicali e sintattici di linguaggi di programmazione.

Programma:

La struttura generale di un compilatore/interprete e le fasi della compilazione.

• Analisi lessicale: Automi a stati finiti e espressioni regolari. Proprietà dei linguaggi regolari. Analisi lessicale e generatori di analizzatori lessicali.
• Analisi Sintattica: Grammatiche libere, proprietà dei linguaggi liberi da contesto, automi a pila e aspetti sintattici dei linguaggi di programmazione.Tecniche di analisi sintattica, algoritmi di parsing e generatori di analizzatori sintattici.
• Traduzione: Forme intermedie e traduzione diretta dalla sintassi.