SWAP - Semantic Web Access and Personalization Research Group

Linguaggi di Programmazione
CdL in Informatica e Comunicazione Digitale - Sede di TARANTO
A.A. 2013-14



Docente: Marco de Gemmis










Avvisi

  • [25 Giugno 14] IL PROSSIMO INCONTRO DI TUTORATO A TARANTO SI TERRA' IL 26 GIUGNO ALLE ORE 14,00.
  • [13 Maggio 14] Il quarto incontro di tutorato a Taranto si terrà Mercoledì 21 Maggio alle ore 14.
  • [05 Maggio 14] IL PROSSIMO INCONTRO DI TUTORATO SI TERRA' IL 7 MAGGIO ALLE ORE 14,00 NELL'AULA DEL II ANNO ICD.
  • [31 Marzo 14] GLI INCONTRI DI TUTORATO SI TERRANNO IL MARTEDI' DALLE ORE 13,30 NELL'AULA DEL II ANNO ICD. IL PRIMO INCONTRO SI TERRA' IL GIORNO 8 APRILE.
  • [25 Marzo 14] Si avvisa della disponibilità di tutoraggio per lo svolgimento di esercitazioni in preparazione alla prova scritta. Il tutoraggio sarà tenuto dalla dott.ssa Raffaella Merolla e sarà coordinato dal docente dell'insegnamento. Le esercitazioni si terranno presumibilmente nel pomeriggio del martedì, in modo da evitare sovrapposizioni con le lezioni del II anno. Gli studenti interessati possono inviare una mail a: marco.degemmis@uniba.it indicando come oggetto: “Tutoraggio linguaggi 13-14”.
  • [22 Gennaio 14] Ricevimento studenti fissato per il 28/01 alle 10.00.
  • [17 Gennaio 14] PUBBLICATI RISULTATI SECONDA PROVA IN ITINERE.
  • [23 Dicembre 13] PUBBLICATA ULTERIORE DISPENSA DI ESERCIZI PER SECONDA PROVA IN ITINERE.
  • [16 Dicembre 13] PUBBLICATI RISULTATI PRIMA PROVA IN ITINERE.
  • [16 Dicembre 13] LA 2a PROVA IN ITINERE SI TERRA' IL 10 GENNAIO ALLE 10.00 IN TURNO UNICO SENZA PRENOTAZIONE. TUTTI GLI STUDENTI CHE HANNO SUPERATO LA 1a PROVA SONO AUTOMATICAMENTE ISCRITTI ALLA SECONDA.
  • [19 Novembre 13] Pubblicato calendario I prova in itinere

  • [04 novembre 13] LA 1a PROVA IN ITINERE SI TERRA' IL 22 NOVEMBRE ALLE 10.00 IN DUE TURNI, IN BASE AL NUMERO DI STUDENTI PRENOTATI. LA PRENOTAZIONE VA EFFETTUATA TRAMITE IL SISTEMA ESSE3 DA OGGI FINO AL 15 NOVEMBRE. IL 19 NOVEMBRE SARA' PUBBLICATO IL CALENDARIO DEI DUE TURNI.
  • [09 ottobre 13] La lezione del giorno 11/10/2013 avrà inizio alle 11.00 a causa della convocazione del docente in Commissione di laurea.









Diario

  • [10 gennaio 14] Seconda prova in itinere e correzione. Tabella dei simboli.
  • [7 gennaio 14] I passi del compilatore. Esercizi in preparazione alla II prova in itinere.
  • [20 dicembre 13] Esercizi per II prova in itinere.
  • [17 dicembre 13] Revisione I prova in itinere. Pumping Lemma per linguaggi Regolari. Esercizi.
  • [13 dicembre 13] Linguaggi Regolari, Espressioni regolari.
  • [10 dicembre 13] Lab: Template. Esercizi su Automi.
  • [6 dicembre 13] Lab: Revisione Esercitazione guidata 2-3. Automi a stati finiti.
  • [3 dicembre 13] Lab: Esercitazione guidata 2-3. Esercizi su proprietà di Chiusura.
  • [29 novembre 13] Lab: Esercitazione guidata 2. Continuazione Teorema di Chiusura.
  • [26 novembre 13] Lab: Ereditarietà in C++. Teorema di Chiusura.
  • [22 novembre 13] Prima prova intermedia.
  • [15 novembre 13] Lab: Continuazione Esercitazione guidata 1. Gerarchia di Chomsky.
  • [12 novembre 13] Lab: Esercitazione guidata 1. Esercizi di preparazione alla I prova in itinere.
  • [8 novembre 13] Lab: information hiding. Creazione di classi ed oggetti in C++.
  • [5 novembre 13] Grammatiche e linguaggi ambigui. Esercizi di preparazione alla I prova in itinere. Lab: classi e oggetti.
  • [29 ottobre 13] Esercizi di preparazione alla prova in itinere.
  • [25 ottobre 13] Pumping Lemma per Linguaggi Context-free. Esercizi.
  • [22 ottobre 13] Pumping Lemma per Linguaggi Context-free. Esercizi.
  • [18 ottobre 13] Linguaggi Context-free.
  • [15 ottobre 13] Grammatiche Context-free e grammatiche Context-Sensitive. Esercizi (cap. 3).
  • [11 ottobre 13] Grammatiche e Linguaggi (Esercizi).
  • [08 ottobre 13] Grammatiche e Linguaggi (parte II).
  • [04 ottobre 13] Introduzione alla teoria dei linguaggi formali. Grammatiche e Linguaggi (parte I).
  • [01 ottobre 13] Presentazione del Corso. Macchine astratte e implementazione dei linguaggi di programmazione.





Modalità d'Esame

L'esame consta di due prove: prova scritta e colloquio orale.

  • Prova scritta - Argomenti: esecuzione di esercizi sulla teoria dei linguaggi formali, enunciazione di definizioni, dimostrazione di teoremi della teoria dei linguaggi formali, esecuzione di esercizi sulla programmazione orientata agli oggetti.
  • Colloquio orale - Discussione della prova scritta.



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.

Valutazione ed esito delle prove

  • Prova scritta - La valutazione della prova è in trentesimi. La prova è superata con un minimo di 18/30. Il superamento della prova scritta consente l'accesso al colloquio orale.
  • Colloquio orale - Si discuterà l'elaborato scritto. La discussione può dare luogo ad una modifica della valutazione della prova scritta.
  • La valutazione finale è quella della prova scritta, eventualmente modificata dall'esito del colloquio orale.



Validità delle prove

  • Prova scritta - La prova superata è valida solo per l'appello sostenuto (ovvero se si supera la prova scritta, il colloquio orale va sostenuto nello stesso appello). Solo la prova in itinere è valida da gennaio a settembre di un anno accademico.



Prenotazioni

Per sostenere la prova SCRITTA e quella ORALE di ciascun appello occorre prenotarsi OBBLIGATORIAMENTE mediante il sistema Esse3 ad ENTRAMBE le prove. La prova scritta di un appello si prenota come PROVA PARZIALE del medesimo appello. Gli studenti che hanno superato le prove in itinere sono esonerati dalla prova SCRITTA e devono prenotarsi ESCLUSIVAMENTE per la prova ORALE.









Materiale Didattico



Trasparenze utilizzate a lezione

Saranno rese disponibili solo le trasparenze NON relative alla teoria dei linguaggi formali. Per questa parte del programma è disponibile in biblioteca il testo "Giovanni Semeraro. Appunti di teoria dei linguaggi formali, Adriatica, Bari, 1996" (Pubblicati solo i primi due capitoli)

  • Presentazione del corso (download)
  • Macchine astratte e linguaggi di programmazione. Introduzione alla teoria dei linguaggi formali. (download)
  • Grammatiche e linguaggi (download)
  • Grammatiche e linguaggi: esercizi (download)
  • Grammatiche CF e grammatiche CS con esercizi. (download)
  • Linguaggi CF, pumping lemma con esercizi. (download)
  • Grammatiche e Macchine con esercizi. (download)
  • Capitolo 6 con esercizi. (download)
  • Capitolo 7 con esercizi. (download)

Linguaggi di Programmazione e Compilatori

Materiale Laboratorio



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









Esercizi & Tracce d'Esame

  • Esercizi su grammatiche libere da contesto e pumping lemma per linguaggi liberi da contesto (download) (Aggiornato il 24 ottobre 2012)

  • Ulteriori Esercizi su grammatiche libere da contesto (download) (Aggiornato il 4 novembre 2013)

  • Ulteriori Esercizi per I prova in itinere (download) (Aggiornato il 12 novembre 2013)

  • Tracce esercizi su automi, linguaggi regolari, operazioni sui linguaggi (download) (Aggiornato il 10 dicembre 2012)

  • Ulteriori Esercizi per Ii prova in itinere (download) (Aggiornato il 23 dicembre 2013)









Risultati delle Prove









Link Utili \\\