TCI - Teoria della Computazione e dell'Interazione - AA 2014-2015

Esercizi

Testi e soluzioni di alcuni esercizi


Esercizi sugli Automi

Esercizi sulle Macchine di Turing

Esercizi sulle Funzioni Ricorsive

Esercizi sul Lambda-Calcolo