IN410 - Informatica 2 - Modelli di Calcolo - AA 2015-2016

Esercizi

Testi e soluzioni di alcuni esercizi


Esercizi sugli Automi

Esercizi sulle Macchine di Turing

Esercizi sulle Funzioni Ricorsive

Esercizi sul Lambda-Calcolo