Appunti
Preliminari
Automi a stati finiti
DFA
NFA
Equivalenza tra DFA e NFA
Costruzione per sottoinsiemi
NFA con epsilon-mosse
Espressioni regolari
Pumping lemma per i linguaggi regolari
Operazioni booleane
Inversione
Linguaggi non regolari
Grammatiche libere dal contesto
PDA
Proprietà dei CFL
Compilatori
Gerarchia di Chomsky
Macchine di Turing
Problemi e linguaggi
Il linguaggio universale
Il linguaggio di diagonalizzazione
Esercizi
esercizi01-dfa-soluzione.pdf
esercizi02-nfa-soluzione.pdf
esercizi03-nfa-soluzione-costruzione-per-sottoinsiemi.pdf
esercizi04-enfa-soluzione.pdf
esercizi05-espressioni-regolari-soluzione.pdf
esercizi06-linguaggi-regolari-soluzione.pdf
esercizi07-cfg-e-pda-soluzione.pdf
esercizi08-mdt-soluzione.pdf
Soluzioni Temi d’esame
2019_20-scritto1-2019.01.09-soluzione.pdf
2021_22-scritto1-2022.01.10-soluzione.pdf
2021_22-scritto2-2022.01.25-soluzione.pdf
Robe
Dimostrazioni
Definizioni