Esercizi sugli Automi

Esercizi sulle Macchine di Turing

Esercizi sulle Funzioni Ricorsive

Esercizi sul Lambda-Calcolo