Linguaggi Automi a stati finiti Automi a Pila Macchina di Touring Grammatiche Formali Formulazione con Logica Computabilità Analisi complessità RAM Sorting Strutture dati Alberi e grafi Seminario Api