Corsi.LINGTA1617 History
Hide minor edits - Show changes to markup
- Risultati prova 22-06-2017 (solo studenti esonerati)
- [06 giugno 17] AVVISO per gli studenti che hanno superato la prova in itinere: nella prenotazione della prova d'esame di Giugno, specificate SE AVETE DECISO DI NON ACCETTARE IL VOTO DELLA PROVA IN ITINERE. In assenza di indicazione contraria, assumerò che il voto sia stato accettato.
- [06 giugno 17] La prova d'esame di giugno sarà effettuata in più turni. Un turno sarà dedicato SOLO agli studenti che hanno superato la prova in itinere. Dopo la chiusura delle prenotazioni, ci sarà la pubblicazione dei turni.
- [5 giugno 17] Il modello di compilatore. Esercitazione in preparazione alle prove d'esame.
- [29 maggio 17] Esercitazione su Classificazione di Linguaggi nella Gerarchia di Chomsky.
- [26 maggio 17] Esercizi su espressioni regolari ed appplicazione del Teorema di Kleene.
- [22 maggio 17] Linguaggi regolari ed espressioni regolari. Teorema di Kleene. Pumping Lemma per linguaggi regolari.
- [19 maggio 17] Automi a stati finiti non deterministici. Esercizi su Automi.
- [03 maggio 17] Calendario Ricevimento: 8 maggio 14:00-16:00, 15 maggio 14:00-16:00. Calendario recupero lezioni per festività (24 aprile e 1 maggio): 12 maggio 14:00-16:30, 19 maggio 14:00-16:30.
- [03 maggio 17] Calendario Ricevimento: 8 maggio 14:00-16:00, 15 maggio 14:00-16:00, 29 maggio 14:00-15:30. Calendario recupero lezioni per festività (24 aprile e 1 maggio): 12 maggio 14:00-16:30, 19 maggio 14:00-16:30.
- [8 maggio 16] Chiusura di classi di linguaggi. Teoremi chiusura e dimostrazioni (parte 1).
Esercizi su proprietà di chiusura.
- [15 maggio 17] Esercizi su proprietà di chiusura. Automi a stati finiti deterministici.
- [12 maggio 17] Teoremi di chiusura e dimostrazioni (parte 2).
- [8 maggio 17] Chiusura di classi di linguaggi. Teoremi di chiusura e dimostrazioni (parte 1).
- [12 maggio 17] Pubblicati i risultati della prova intermedia del 10-04-2017.
- [12 maggio 17] PUBBLICATI RISULTATI DELLA PROVA INTERMEDIA
- [12 maggio 17] Pubblicati i risultati della prova intermedia del 10-04-2017.
- Risultati prova intermedia Risultati prova 10-04-2017 (entrambi i turni)
- Risultati prova intermedia (entrambi i turni)
- Risultati prova intermedia Risultati prova 10-04-2017 (entrambi i turni)
- [8 maggio 16] Chiusura di classi di linguaggi. Teoremi chiusura e dimostrazioni (parte 1).
- [5 maggio 17] Gerarchia di Chomsky. Operazioni su Linguaggi.
- [08 maggio 17] Ricevimento 8 maggio annullato per problemi familiari.
- [03 maggio 17] Calendario Ricevimento: 8 maggio 14:00-16:00, 15 maggio 14:00-16:00. Calendario recupero lezioni per festività (24 aprile e 1 maggio): 12 maggio 14:00-16:30, 19 maggio 14:00-16:30.
- [28 aprile 17] Revisione della prima prova in itinere.
- [10 aprile 17] Prova in itinere.
- [07 aprile 17] Esercizi per prova in itinere.
- [06 aprile 16] Le prenotazioni per la prima prova in itinere sono CHIUSE. Gli iscritti sono suddivisi in DUE turni: Turno 1 e Turno 2
- [06 aprile 16] Le prenotazioni per la prova in itinere sono CHIUSE. Gli iscritti sono suddivisi in DUE turni: Turno 1 e Turno 2
- [28 marzo 17] La prova in itinere si terrà il 10 APRILE alle ORE 10:00 in AULA MAGNA. La prenotazione va effettuata tramite esse3.
- [28 marzo 17] La prova in itinere si terrà il 10 APRILE dalle ORE 10:00 in AULA MAGNA. La prenotazione va effettuata tramite esse3.
- [06 aprile 16] Le prenotazioni per la prima prova in itinere sono CHIUSE. Gli iscritti sono suddivisi in DUE turni Turno 1 e Turno 2
- [06 aprile 16] Le prenotazioni per la prima prova in itinere sono CHIUSE. Gli iscritti sono suddivisi in DUE turni: Turno 1 e Turno 2
- [06 aprile 16] Le prenotazioni per la prima prova in itinere sono CHIUSE. Gli iscritti sono suddivisi in DUE turni. Turno 1
Turno 2
- [06 aprile 16] Le prenotazioni per la prima prova in itinere sono CHIUSE. Gli iscritti sono suddivisi in DUE turni Turno 1 e Turno 2
- [06 aprile 16] Le prenotazioni per la prima prova in itinere sono CHIUSE. Gli iscritti sono suddivisi in DUE turni. Turno 1
Turno 2
- [05 aprile 17] Venerdì 7 aprile sarò a disposizione dalle 13:30 alle 15:30 per chiarimenti su esercizi relativi alla prova in itinere.
- [28 marzo 17] La prova in itinere si terrà il 10 APRILE alle ORE 10:00 in AULA MAGNA.
- [28 marzo 17] La prova in itinere si terrà il 10 APRILE alle ORE 10:00 in AULA MAGNA. La prenotazione va effettuata tramite esse3.
- [03 aprile 17] Relazione tra altezza di un albero e lunghezza della sua frontiera. Pumping Lemma per Linguaggi Context-free (dimostrazione). Esercizi.
- [31 marzo 17] Alberi di derivazione. Principio di sostituzione dei sottoalberi. Esempi.
- [28 marzo 17]La prova in itinere si terrà il 10 aprile alle ore 10:00 in Aula Magna.
- [28 marzo 17] La prova in itinere si terrà il 10 APRILE alle ORE 10:00 in AULA MAGNA.
- [28 marzo 17]La prova in itinere si terrà il 10 aprile alle ore 10:00 in Aula Magna.
- [27 marzo 17] Grammatiche context-free e grammatiche context-sensitive.
- [27 marzo 17] Grammatiche context-free e grammatiche context-sensitive. Il linguaggio a^nb^nc^n.
- [16 marzo 17] Linguaggi e grammatiche: definizioni.
- [27 marzo 17] Grammatiche context-free e grammatiche context-sensitive.
- [24 marzo 17] Esercizi su: dimostrazione di correttezza di una grammatica.
- [20 marzo 17] Linguaggi e grammatiche: derivazioni, correttezza di una grammatica.
- [17 marzo 17] Linguaggi e grammatiche: definizioni.
- [16 marzo 17] Linguaggi e grammatiche: definizioni.
- [13 marzo 17] Introduzione alle grammatiche: concetto intuitivo di grammatica, albero di derivazione. Il linguaggio delle parentesi ben formate.
- [2 marzo 16] Introduzione alle grammatiche: concetto intuitivo di grammatica, albero di derivazione. Il linguaggio delle parentesi ben formate.
- [10 marzo 17] Problemi, Macchine di Turing e LdP.
- [6 marzo 17] Presentazione dell'insegnamento. Implementazione dei Linguaggi di Programmazione (LdP).
- [29 febbraio 16] Presentazione dell'insegnamento. Implementazione dei Linguaggi di Programmazione (LdP). Problemi, Macchine di Turing e LdP.
Siete liberi di usare l'ambiente di sviluppo C che preferite. L'ambiente usato come guida per le lezioni di laboratorio è: Eclipse
Siete liberi di usare l'ambiente di sviluppo C che preferite.
Linguaggi di Programmazione
CdL in Informatica e Comunicazione Digitale - Sede di TARANTO
A.A. 2016-17
Docente: Marco de Gemmis
- Programma Preliminare
- Avvisi
- Diario
- Modalità d'Esame
- Materiale Didattico
- Esercizi & Tracce d'Esame
- Risultati
- Link Utili
- [15 luglio 16] Pubblicati in Esse3 i risultati della prova del giorno 11 luglio. Il giorno 20 luglio al termine della seduta di laurea, presumibilmente intorno alle 11.30, sarò disponibile per la visione delle prove.
- [20 giugno 16] PUBBLICATI RISULTATI DELLA PROVA DEL 17-06
- [13 giugno 16] Gli iscritti all'appello di giugno sono suddivisi in DUE turni. (vedi turni)
- [5 giugno 16] Ricevimento per visione della prova in itinere: 10 giugno 2016 ore 10:00.
- [31 maggio 16] La prova in itinere è valida come esonero SOLO per l'appello di GIUGNO. Solo per questo appello infatti ci sarà una traccia specifica per gli esonerati. Chi vuole rinunciare all'esonero deve comunicarlo al docente per email per l'organizzazione delle tracce. Gli iscritti all'appello di giugno saranno suddivisi in turni che saranno pubblicati alla chiusura delle prenotazioni.
- [31 maggio 16] PUBBLICATI RISULTATI DELLA PROVA INTERMEDIA
- [15 aprile 16] Le prenotazioni per la prima prova in itinere sono chiuse. Gli iscritti sono suddivisi in DUE turni. (vedi turni)
- [08 marzo 16] Pubblicata nuova versione delle diapositive: Tracce esercizi su Macchine di Turing.
(:ifend:)
- [3 giugno 15] II prova in itinere.
- [1 giugno 15] Esercizi per II prova in itinere.
- [27 maggio 15] Evoluzione dei linguaggi di programmazione.
- [25 maggio 15] Lo scanner. Tabella dei simboli.
- [20 maggio 15] Esercizi per la seconda prova in itinere.
- [18 maggio 15] Il modello di compilatore. Esercizi su linguaggi regolari e su pumping Lemma per linguaggi regolari.
- [13 maggio 15] Esercizi su linguaggi regolari e su pumping Lemma per linguaggi regolari.
- [1 giugno 15] Esercizi per la preparazione alla prova d'esame.
- [30 maggio 16] Il modello di compilatore. Lo scanner. Tabella dei simboli. Esercizi su linguaggi regolari e su pumping Lemma per linguaggi regolari.
- [25 maggio 16] Pumping Lemma per linguaggi regolari. Esercizi su linguaggi regolari e su pumping Lemma per linguaggi regolari.
- [23 maggio 16] Algoritmi di conversione automi-grammatiche. Esercizi.
- [18 maggio 16] Linguaggi regolari ed espressioni regolari. Teorema di Kleene.
- [16 maggio 16] Automi a stati finiti non deterministici. Esercizi.
- [11 maggio 16] Automi a stati finiti deterministici.
- [9 maggio 16] Esercizi su proprietà di chiusura.
- [2 maggio 16] Teoremi chiusura e relative dimostrazioni.
- [27 aprile 16] Gerarchia di Chomsky. Operazioni su Linguaggi. Chiusura di classi di linguaggi.
- [20 aprile 16] Revisione della prima prova in itinere.
- [18 aprile 16]Prima prova in itinere: grammatiche, linguaggi, pumping lemma per linguaggi CF.
- [06 aprile 16] Ambiguità di grammatiche e linguaggi CF. Esercizi di preparazione alla prova in intinere.
- [04 aprile 16] Esercizi di preparazione alla prova in intinere.
- [30 marzo 16] Esercizi su Pumping Lemma per Linguaggi Context-free. Esercizi su Grammatiche e Linguaggi.
- [23 marzo 16]Il linguaggio a^nb^nc^n.
- [21 marzo 16] Relazione tra altezza di un albero e lunghezza della sua frontiera. Pumping Lemma per Linguaggi Context-free (dimostrazione).
- [16 marzo 16] Alberi di derivazione. Introduzione al Pumping Lemma per Linguaggi Context-free (enunciato).
- [14 marzo 16] Grammatiche context-free e grammatiche context-sensitive. Esercizi.
- [9 marzo 16] Linguaggi e grammatiche: derivazioni, correttezza di una grammatica.
- [7 marzo 16] Linguaggi e grammatiche: definizioni. Esercitazioni su MdT.
- [2 marzo 16] Introduzione alle grammatiche: concetto intuitivo di grammatica, albero di derivazione. Il linguaggio delle parentesi ben formate.
- [29 febbraio 16] Presentazione dell'insegnamento. Implementazione dei Linguaggi di Programmazione (LdP). Problemi, Macchine di Turing e LdP.
(:ifend:)
- Appelli d'esame (al termine dell'insegnamento) - L'esame consta di una prova scritta che potrà essere articolata come segue: esecuzione di esercizi sulla teoria dei linguaggi formali, enunciazione di definizioni, dimostrazione di teoremi della teoria dei linguaggi formali, quesiti su linguaggi di programmazione e compilatori.
- Prova intermedia (durante l'insegnamento) - E' prevista una prova scritta intermedia, articolata su una specifica parte del programma indicata dal docente.
Valutazione ed esito delle prove
- Prova d'appello: valutazione in trentesimi. La prova è superata con un minimo di 18/30.
- Prova intermedia: valutazione in trentesimi. La prova intermedia è superata con un minimo di 16/30, conseguito svolgendo correttamente almeno uno dei quesiti. Il superamento della prova intermedia esonera lo studente dallo svolgimento di una parte della prova finale, LIMITATAMENTE ALL'APPELLO DI GIUGNO. La valutazione COMPLESSIVA è la media delle valutazioni riportate nella prova intermedia ed in quella d'appello. L'esame è superato con una valutazione COMPLESSIVA minima di 18.
Validità delle prove
- La prova d'appello è valida solo per l'appello sostenuto (ovvero se si supera la prova scritta, non si può posticipare la verbalizzazione in un appello successivo).
- La prova in itinere è valida SOLO PER L'APPELLO DI GIUGNO.
Prenotazioni
- Per sostenere la prova di ciascun appello occorre prenotarsi OBBLIGATORIAMENTE mediante il sistema Esse3.
- Gli studenti che hanno superato la prova in itinere DEVONO prenotarsi per il PER L'APPELLO DI GIUGNO se intendono avvalersi dell'esonero.
Materiale utilizzabile durante le prove
Solo durante la prova scritta è consentita la consultazione di: tavola relativa alle proprietà di chiusura dei linguaggi ed elenco delle proprietà delle espressioni regolari.
Presentazione dell'insegnamento
- Informazioni utili
Teoria dei linguaggi formali
1 - Introduzione: Macchine astratte, linguaggi di programmazione, Macchine di Turing, Introduzione alla teoria dei linguaggi formali
2 - Grammatiche e linguaggi
3 - Grammatiche CF e grammatiche CS con esercizi
4 - Linguaggi CF, pumping lemma con esercizi
5 - Grammatiche e Macchine con esercizi
6 - Automi con esercizi
7 - Linguaggi regolari con esercizi
Linguaggi di Programmazione e Compilatori
1 - Il modello di un compilatore
2 - Analizzatore lessicale
3 - Tabella dei simboli
4 - Evoluzione dei Linguaggi di Programmazione
Materiale Esercitazioni
1 - Tracce esercizi su Macchine di Turing
2 - Grammatiche e linguaggi: esercizi
3 - Esempio di implementazione Macchina di Turing
4 - Esempio di implementazione FSA
Strumenti di Sviluppo
Siete liberi di usare l'ambiente di sviluppo C che preferite. L'ambiente usato come guida per le lezioni di laboratorio è: Eclipse
1 - Tracce esercizi per la prova in itinere
2 - Tracce esercizi su automi, linguaggi regolari, operazioni sui linguaggi
3 - Tracce esercizi sulla classificazione di linguaggi
Risultati Appelli e Prove Intermedie
(:if false:)
- Risultati appello 17-06-2016 (vedi risultati)
- Risultati prova intermedia (vedi risultati)
(:ifend:)