Appunti Calcolabilita' 2014/2015
Appunti Linguaggi Formali 2014/2015
Programma secondo compitino 2014/2015:
Secondo teorema di ricorsione di Kleene e sue applicazioni:
Programmi che si autoriconoscono; K non č estensionale; Indecidibilitā di K.
Linguaggi Formali: la classificazione di Chomsky delle grammatiche.
Linguaggi regolari: generati da grammatiche regolari, riconosciuti da automi
a stati finiti, denotati da espressioni regolari. Automi deterministici e non:
indistinguibilitā di stringhe, relazioni invarianti a destra. Automa minimo.
Pumping Lemma per linguaggi regolari. Decidibilitā di linguaggi regolari. Linguaggi liberi. Pumping Lemma per linguaggi liberi.
Libri M. Aiello, A. Albano, G. Attardi, U. Montanari: Teoria della computabilita', logica, teoria dei linguaggi formali, Editrice ETS Pisa, 1976.
Cutland; N.J. Cutland: Computability: An Introduction
to Recursive Function Theory, Cambridge University Press, 1984.
Risultati Compito, 31 Agosto 2015
Risultati Compito, 5 Giugno 2015
Risultati Compito, 29 Gennaio 2015
Risultati Compito, 14 Gennaio 2015
Soluzione compito I, 14 Gennaio 2015
Soluzione compito II, 14 Gennaio 2015. La soluzione del compito da 9 crediti si trova nella somma dei due compiti parte I e II.
Risultati Compito AAAA, 16 Dicembre 2014
Risultati Compito BBBB, 16 Dicembre 2014
Compito AAAA con soluzione, 16 Dicembre 2014
Compito BBBB con soluzione, 16 Dicembre 2014
Risultati Calcolabilita' 10 Novembre 2014
Soluzione compito AAA, Calcolabilitā 10 Novembre 2014
Soluzione compito BBB, Calcolabilitā 10 Novembre 2014
Risultati 2 Settembre 2014: Matricola 839248 voto 20; Matricola 824155 voto 20
Risultati 21 Maggio 2014
Risultati 21 Gennaio 2014
Soluzione Integrazione 21 Gennaio 2014
Soluzione Recupero Compitino 1, 21 Gennaio 2014
Soluzione Recupero Compitino 2, 21 Gennaio 2014
Risultati 9 Gennaio 2014
Soluzione Compito integrazione Linguaggi Formali 9 Gennaio 2014
Soluzione Compito Recupero Primo Compitino 9 Gennaio 2014
Soluzione Compito Recupero Secondo Compitino 9 Gennaio 2014
Risultati 20 Dicembre 2013
Compito A con soluzione 20 Dicembre 2013
Compito B con soluzione 20 Dicembre 2013
Compito1 calcolabilita' con soluzione;
Compito2 calcolabilita' con soluzione;
Compito3 calcolabilita' con soluzione;
Compito4 calcolabilita' con soluzione;
Compito5 calcolabilita' con soluzione
Compito6 calcolabilita' con soluzione
Compito7 calcolabilita' con soluzione
Compitino AAA calcolabilita' 11 Novembre 2013 con soluzione
Risultati Compito A 11 Novembre 2013
Compitino BBB calcolabilita' 11 Novembre 2013 con soluzione
Risultati Compito B 11 Novembre 2013
Esami calcolabilita'
Risultati Calc Ling Formali
28
Maggio 2012
e
Testo Compito Calc Ling Formali
28 Maggio 2012
Alcuni esercizi
calcolabilita' con soluzione
Risultati secondo compitino 20 Dic 2011
Soluzione compito A
Soluzione compito B
Risultati Compitino Calcolabilita' e Linguaggi Formali 16 Nov 2011
Risultati Calcolabilita' e Linguaggi formali 23 maggio 2011
Risultati Calcolabilita' e Linguaggi Formali 25 Gennaio 2011
e compito calcolabilita' con soluzione
Calcolabilita' 6-07-2007
Computabilita' 20-02-2007
Testo del compito
Computabilita' 30-01-2007
Computabilita' 19-12-2006
Computabilita' 14 settembre 2006
Computabilita' 7 Febbraio 2006
Computabilita' 11 Gennaio 2006
Computabilita' 15 novembre 2005
Computabilita' 5-9-05
linguaggi esercizi con soluzione 1
linguaggi esercizi con soluzione 2
linguaggi esercizi con soluzione 3
linguaggi esercizi con soluzione 4
linguaggi esercizi con soluzione 5
linguaggi esercizi con soluzione 7