IN410 - Modelli di Calcolo - AA 2017-2018

Esercizi

Testi e soluzioni di alcuni esercizi


Esercizi sugli Automi

Esercizi sulle Macchine di Turing

Esercizi sulle Funzioni Ricorsive

Esercizi sul Lambda-Calcolo