Teoria dei linguaggi

Obiettivo dell'insegnamento è la presentazione delle basi della teoria dei linguaggi formali e degli automi, insieme a sviluppi recenti e problemi aperti significativi.

Lo studente dovrà essere in grado di utilizzare la teoria dei linguaggi formali e degli automi per descrivere formalmente la sintassi di semplici linguaggi artificiali, come i linguaggi di programmazione, o di semplici modelli di calcolo. Dovrà inoltre essere in grado di stabilire confronti tra modelli formali differenti, sia rispetto alla potenza computazionale, sia rispetto alla complessità delle descrizioni.