| 2-10-2023 | | Introduzione al corso |
| 6-10-2023 | | Alfabeti, stringhe e linguaggi. Operazioni su stringhe e su linguaggi |
| 13-10-2023 | | Linguaggi e problemi. Problemi di decisione. Cardinalità dell’insieme dei linguaggi e dell’insieme delle stringhe |
| 16-10-2023 | | Espressioni regolari |
| 20-10-2023 | | Espressioni regolari, grammatiche formali |
| 23-10-2023 | | Grammatiche formali, gerarchia di Chomsky |
| 25-10-2023 | | Automi, computazioni |
| 30-10-2023 | | Automi: stato, funzione di transizione. Non determinismo |
| 6-11-2023 | | Automi deterministici e non deterministici |
| 8-11-2023 | | Automi a stati finiti. Stato, funzione di transizione deterministica. Funzione di transizione estesa. |
| 13-11-2023 | | Automi a stati finiti non deterministici. epsilon-transizioni. Equivalenza tra ASFND, epsilon-ASFND, ASFD. |
| 15-11-2023 | | Grammatiche di tipo 3. Equivalenza con ASF. |
| 20-11-2023 | | Equivalenza tra grammatiche di tipo 3 e espressioni regolari. |
| 22-11-2023 | | Equivalenza tra grammatiche di tipo 3 e espressioni regolari e tra ASF e espressioni regolari. |
| 27-11-2023 | | Trasformazioni da ASF a espressioni regolari. |
| 29-11-2023 | | Proprietà di chiusura dei linguaggi regolari. Trasformazione da ER a ASF. Decidibilità di predicati sui LR. |
| 4-12-2023 | | Pumping lemma per i linguaggi regolari. |
| 6-12-2023 | | Minimizzazione di ASF. |
| 11-12-2023 | | Grammatiche CF. Alberi sintattici. Forma ridotta. |
| 18-12-2023 | | Forma ridotta. CNF. |
| 20-12-2023 | | Pumping lemma per CFL. Chiusura dei CFL |
| 8-1-2024 | | Automi a pila |
| 10-1-2024 | | Forma normale di Greibach |
| 17-1-2024 | | Relazione tra NPDA e CFG |
Lezioni svolte