https://open.spotify.com/playlist/17r04mJKWeQped7JY2M2OA?si=4b26e98de6054351
Automi finiti
Automi finiti deterministici
Linguaggio
Operazioni regolari
Automi finiti non deterministici
Equivalenza tra DFA e NFA
Linguaggi regolari
Espressioni regolari
Teorema di Kleene
Pumping lemma
Macchine di Turing
Macchine di Turing
Macchine di Turing 2
Varianti delle Macchine di Turing
Decidibilità
Numerabilità
Decidibilità
Riducibilità (mancano 4 slide di esempi)
Teorema di Rice