SWAP - Semantic Web Access and Personalization Research Group

Linguaggi di Programmazione
CdL in Informatica e Comunicazione Digitale - Sede di TARANTO
A.A. 2012-13



Docente: Marco de Gemmis










Avvisi

  • [16 gennaio 13] La prenotazione agli esami va effettuata con il sistema Esse3. Gli studenti non inseriti nella piattaforma possono prenotarsi inviandomi un messaggio di posta elettronica.

  • [9 gennaio 13] Pubblicati risultati prove in itinere

  • [19 dicembre 12] La seconda prova in itinere è fissata per il giorno 21 dicembre. I turni sono gli stessi della prima prova. Gli studenti che hanno conseguito una valutazione almeno pari a 15 hanno superato la prova e sono iscritti alla seconda senza necessità di prenotazione. La seconda prova in itinere può essere sostenuta anche dagli studenti che non hanno superato la prima prova, purchè si prenotino tramite posta elettronica entro le 12.00 di giovedì 20 dicembre.
  • [19 dicembre 12] Pubblicati risultati I prova in itinere e calendario II prova

  • [4 dicembre 12] La seconda prova in itinere si terrà il 21 dicembre. Sono automaticamente prenotati tutti coloro che superano la I prova in itinere (risultati intorno al 15 dicembre).

  • [31 ottobre 12] Pubblicato calendario I prova in itinere

  • [31 ottobre 12] Le prenotazioni per la prima prova in itinere sono DEFINITIVAMENTE chiuse

  • [31 ottobre 12] La lezione del 2 novembre non si terrà

  • [10 ottobre 12] La lezione del 12 ottobre terminerà alle 12.15 per concomitanza con la seduta di laurea









Diario

  • [21 dicembre 12] II prova in itinere.
  • [18 dicembre 12] Tabella dei simboli. Panoramica sui paradigmi di programmazione. Laboratorio: Grammar Reader.
  • [14 dicembre 12] I passi del compilatore. Esercizi in preparazione alla II prova in itinere.
  • [11 dicembre 12] Esercizi in preparazione alla II prova in itinere.
  • [7 dicembre 12] Pumping lemma per linguaggi regolari. Esercizi su espressioni regolari e linguaggi regolari, pumping lemma.
  • [4 dicembre 12] Espressioni regolari, linguaggi regolari, teorema di Kleene.
  • [30 novembre 12] Automi a stati finiti. Laboratorio: revisioni esercitazioni guidate.
  • [27 novembre 12] Esercizi su proprietà di chiusura. Laboratorio: Esercitazione guidata 3. Revisione prima prova in itinere.
  • [19 novembre 12] Prima prova in itinere.
  • [16 novembre 12] Esercizi su proprietà di chiusura. Laboratorio: Esercitazione guidata 2.
  • [13 novembre 12] Dimostrazione Teorema di Chiusura. Laboratorio: ereditarietà (2a parte).
  • [9 novembre 12] Chiusura di linguaggi. Teorema di Chiusura. Laboratorio: ereditarietà (1a parte).
  • [5 novembre 12] LAboratorio: Revisione Esercitazione Guidata 1. Gerarchia di Chomsky.
  • [30 ottobre 12] Laboratorio: Introduzione alla programmazione orientata agli oggetti. Esercitazione Guidata 1.
  • [26 ottobre 12] Esercizi di preparazione alla prima prova in itinere.
  • [23 ottobre 12] Grammatiche e linguaggi ambigui. Esercizi (cap. 4). Esercizi di preparazione alla prima prova in itinere.
  • [19 ottobre 12] Dimostrazione Pumping Lemma per linguaggi Context-free. Esercizi (cap. 4).
  • [16 ottobre 12] Linguaggi Context-free. Pumping lemma. Esercizi (cap. 4).
  • [12 ottobre 12] Grammatiche Context-free e grammatiche Context-Sensitive. Esercizi (cap. 3).
  • [9 ottobre 12] Grammatiche e linguaggi. Esercizi (cap. 2).
  • [5 ottobre 12] Introduzione alla teoria dei linguaggi formali.
  • [2 ottobre 12] 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 - E' richiesta la soluzione di esercizi sulla teoria dei linguaggi formali, l'enunciazione di definizioni e la la dimostrazione di teoremi della teoria dei linguaggi formali.
  • Colloquio orale - Discussione sulle esercitazioni di laboratorio e colloquio su tutto il programma svolto durante il corso.



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 - La valutazione della prova è in trentesimi. La prova è superata con un minimo di 18/30.
  • La valutazione finale è la media di quelle conseguite nelle due prove.



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 le prove di ciascun appello occorre OBBLIGATORIAMENTE prenotarsi. Le prenotazioni all'esame (bisogna prenotarsi ad ogni prova) avvengono OBBLIGATORIAMENTE mediante l'apposito servizio previsto dall'Area Riservata agli Studenti del sito dei Corsi di Studio in Informatica. Se e solo se tale servizio risulta inaccessibile, la prenotazione si può effettuare mediante mail al docente. Ci si può prenotare ad una prova fino a tre giorni prima della data prevista per la prova stessa.







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)

Materiale Laboratorio

Grammar Reader

Linguaggi di Programmazione e Compilatori



Strumenti di Sviluppo









Esercizi & Tracce d'Esame

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

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









Risultati delle Prove









Link Utili \\\