Esercitazioni di Informatica teorica

Anno Accademico 2001-2002

a cura di Luca Cabibbo

Da questa pagina č possibile accedere al materiale didattico relativo alle esercitazioni del corso di Informatica teorica (a cura di Luca Cabibbo e Walter Didimo). Le dispense sono disponibili in formato PDF. (Č necessario Adobe Acrobat Reader, versione 4.05 o successiva). Per ciascuna dispensa č disponibile sia una versione per la visualizzazione sullo schermo (un lucido per pagina) che una versione per la stampa (due lucidi per pagina).

  Capitolo Per la stampa
1 Concetti di base due lucidi per pagina
2 Grammatiche formali due lucidi per pagina
3 Linguaggi regolari: automi a stati finiti due lucidi per pagina
4 Linguaggi regolari: pumping lemma e proprietā di chiusura due lucidi per pagina
5 Linguaggi regolari: espressioni regolari e grammatiche, proprietā decidibili e teorema di Myhill-Nerode due lucidi per pagina
6 Linguaggi non contestuali: proprietā e forme normali due lucidi per pagina
7 Linguaggi non contestuali: automi a pila due lucidi per pagina
8 Macchine di Turing due lucidi per pagina
9 Calcolabilitā nel modello di Turing due lucidi per pagina
10 Complessitā due lucidi per pagina

Sono disponibili anche i lucidi sulle epsilon-transizioni.  

Esercitazioni di Informatica teorica / A cura di Luca Cabibbo / Ultimo aggiornamento: 5 novembre 2001