Lo scopo di questo repository GitHub è la condivisione e discussione di soluzioni ad esercizi tratti dalle tracce delle prove di esame del prof. Daniele Venturi assegnate prima e durante l'Anno Accademico 2023-2024. In questo repository potrai dunque trovare (e possibilmente confermare) soluzioni proposte da altri studenti o anche condividere e ricevere un feedback in merito alle tue!

N.B.: Considereremo come "risolti" gli esercizi con soluzioni ragionevolmente confermate da più di un utente, per cui se la tua soluzione coincide con quella pubblicata da un altro/a utente ricordati nelle pagine degli esercizi (issues) di aggiungere un commento del tipo "Soluzione analoga a quella di <nome>"; ovviamente anche soluzioni alternative ma equivalenti sono molto gradite ai fini della conferma della bontà di una soluzione!

• Sito del corso [🌐] » contiene le informazioni del corso, il programma e il diario delle lezioni per l'A.A. 2023-2024

1. 6 giugno 2024
2. 8 aprile 2024
3. 8 febbraio 2024
4. 10 gennaio 2024
5. 6 settembre 2023
6. 6 luglio 2023
7. 5 giugno 2023
8. 27 marzo 2023
9. 6 febbraio 2023
10. 9 gennaio 2023

1. Automi
2. Calcolabilità
3. Complessità

• Esercizi da risolvere
• Esercizi con soluzioni pubblicate
• Esercizi con soluzioni confermate
• Aggiornamenti (commenti / soluzioni) più recenti

1. Automi
2. Calcolabilità
3. Complessità

1. Automi
2. Calcolabilità
3. Complessità

1. Automi
2. Calcolabilità
3. Complessità

1. Automi
2. Calcolabilità
3. Complessità

1. Automi
2. Calcolabilità
3. Complessità

1. Automi
2. Calcolabilità
3. Complessità

1. Automi
2. Calcolabilità
3. Complessità

1. Automi
2. Calcolabilità
3. Complessità

1. Automi
2. Calcolabilità
3. Complessità

1. Automi
2. Calcolabilità
3. Complessità