SWAP - Semantic Web Access and Personalization Research Group

Linguaggi di Programmazione
CdL in Informatica e Comunicazione Digitale - Sede di TARANTO
A.A. 2011-12



Docente: Marco de Gemmis










Avvisi

  • [6 gennaio 12] Pubblicati risultati II prova in itinere

  • [20 dicembre 11] La lezione del 21/12 avrà inizio alle ore 10.45

  • [16 dicembre 11] Pubblicato calendario II prova in itinere

  • [9 dicembre 11] Pubblicati risultati I prova in itinere

  • [14 novembre 11] Pubblicato calendario I prova in itinere

  • [14 novembre 11] Le prenotazioni per la prima prova in itinere sono DEFINITIVAMENTE chiuse

  • [4 novembre 11] La prima prova in itinere si terrà il 16 novembre alle 10 secondo il calendario che sarà pubblicato dopo la scadenza della prenotazione. Il termine ultimo per prenotarsi è il 9 novembre. La prenotazione si effettua durante le lezioni apponendo nome, cognome e matricola sul foglio predisposto dal docente.
  • [19 ottobre 11] Le lezioni del 24 e 26 ottobre non si terranno causa missione all'estero del docente. Le lezioni riprenderanno il 31 ottobre come da calendario.









Diario

  • [21 dicembre 11] Il modello di compilatore: approfondimento sullo scanner. Panoramica sui paradigmi di programmazione. Grammar Reader.
  • [19 dicembre 11] Seconda prova in itinere.
  • [14 dicembre 11] Esercizi per la preparazione alla seconda prova in itinere. Esercitazione di laboratorio: Grammar Reader.
  • [12 dicembre 11] Esercizi per la preparazione alla seconda prova in itinere. Modello del compilatore.
  • [7 dicembre 11] Esercizi per la preparazione alla seconda prova in itinere. Revisione esercitazione di laboratorio n.3 + esercitazione n.4
  • [5 dicembre 11] Esercizi per la preparazione alla seconda prova in itinere.
  • [30 novembre 11] Esercizi per la preparazione alla seconda prova in itinere. Esercitazione di laboratorio n.3
  • [28 novembre 11] Linguaggi regolari, espressioni regolari, teorema di Kleene, Pumping lemma per linguaggi regolari (Cap. 7).
  • [23 novembre 11] Esercitazione di laboratorio n.2
  • [21 novembre 11] Automi a stati finiti. Esercizi (Cap. 6).
  • [16 novembre 11] Prima prova in itinere.
  • [9 novembre 11] Programmazione orientata agli oggetti. Esercitazione Guidata #1 (Cap. 5).
  • [7 novembre 11] Altri Teoremi di chiusura. Esercizi (Cap. 5).
  • [2 novembre 11] Gerarchia di Chomsky. Operazioni su linguaggi e teorema di chiusura (Cap. 5).
  • [31 ottobre 11] Esercizi per la preparazione alla prima prova in itinere.
  • [19 ottobre 11] Esercizi su Pumping Lemma per linguaggi liberi da contesto (Cap. 4).
  • [17 ottobre 11] Linguaggi liberi da contesto: Pumping lemma e sua dimostrazione. Esercizi (Cap. 4).
  • [12 ottobre 11] Linguaggi liberi da contesto: alberi di derivazione, principio di sostituzione dei sottoalberi (Cap. 4).
  • [10 ottobre 11] Grammatiche context-free e grammatiche context-sensitive. Esercizi.
  • [5 ottobre 11] Grammatiche e linguaggi (seconda parte, cap. 2). Esercizi.
  • [3 ottobre 11] Grammatiche e linguaggi (prima parte, cap. 2).
  • [28 settembre 11] Presentazione del Corso. Macchine astratte e implementazione dei linguaggi di programmazione. Introduzione alla teoria dei linguaggi formali.





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

  • Tracce esercizi su grammatiche libere da contesto e pumping lemma per linguaggi liberi da contesto (download) (Aggiornato il 17 ottobre 2011)

  • Tracce esercizi su automi, linguaggi regolari, operazioni sui linguaggi (download)









Risultati delle Prove









Link Utili