SWAP - Semantic Web Access and Personalization Research Group

Linguaggi di Programmazione
CdL in Informatica e Comunicazione Digitale - Sede di TARANTO
A.A. 2014-15



Docente: Marco de Gemmis










Avvisi

  • [19 giugno 15] PUBBLICATI RISULTATI DELLA PROVA DEL 18-06
  • [16 giugno 15] PUBBLICATI RISULTATI DELLA II PROVA INTERMEDIA
  • [21 maggio 15] La SECONDA prova in itinere si terrà il 3 giugno alle ore 10.00. La prova è riservata alle matricole dell'anno accademico 2014-2015 che hanno superato la prima prova. La prenotazione è già aperta sulla piattaforma Esse3.
  • [10 maggio 15] PUBBLICATI RISULTATI DELLA I PROVA INTERMEDIA
  • [21 aprile 15] La lezione del 22 aprile non si terrà a causa di indisposizione del docente.
  • [10 aprile 15] In caso di inagibilità dell'aula del I anno a causa di lavori in corso, la prova in itinere si terrà in Aula Magna.
  • [09 aprile 15] Le prenotazioni per la prima prova in itinere sono chiuse. Gli iscritti sono suddivisi in DUE turni. (vedi turni)
  • [26 marzo 15] La prova in itinere si terrà il 13 aprile alle ore 10.00. La prova è riservata alle matricole dell'anno accademico 2014-2015. La prenotazione va fatta tramite Esse3. Seguirà pubblicazione dei turni.
  • [05 marzo 15] Pubblicata nuova versione delle diapositive 1 - Introduzione.
  • [24 febbraio 15] Le lezioni avranno inizio il 2 marzo 2015.









Diario

  • [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.
  • [11 maggio 15] Pumping Lemma per linguaggi regolari. Esercizi su linguaggi regolari.
  • [6 maggio 15] Linguaggi regolari ed espressioni regolari. Teorema di Kleene. Algoritmi di conversione automi-grammatiche.
  • [4 maggio 15] Automi a stati finiti deterministici e non deterministici. Esercizi.
  • [29 aprile 15] Esercizi su proprietà di chiusura.
  • [27 aprile 15] Teoremi chiusura e relative dimostrazioni.
  • [20 aprile 15] Gerarchia di Chomsky. Operazioni su Linguaggi. Chiusura di classi di linguaggi.
  • [15 aprile 15] Revisione della prima prova in itinere.
  • [13 aprile 15]Prima prova in itinere: grammatiche, linguaggi, pumping lemma per linguaggi CF e Macchina di Turing.
  • [25 marzo 15] Esercizi su grammatiche e Pumping Lemma per Linguaggi Context-free.
  • [23 marzo 15] Dimostrazione Pumping Lemma per Linguaggi Context-free con esercizi.
  • [18 marzo 15] Alberi di derivazione. Relazione tra altezza di un albero e lunghezza della sua frontiera. Pumping Lemma per Linguaggi Context-free (enunciato).
  • [16 marzo 15] Grammatiche context-free e grammatiche context-sensitive. Esercizi.
  • [11 marzo 15] Linguaggi e grammatiche: derivazioni, correttezza di una grammatica.
  • [09 marzo 15] Linguaggi e grammatiche: definizioni. Esercitazioni su MdT.
  • [04 marzo 15] Introduzione alle grammatiche: concetto intuitivo di grammatica, albero di derivazione. Il linguaggio delle parentesi ben formate.
  • [02 marzo 15] Presentazione dell'insegnamento. Implementazione dei Linguaggi di Programmazione (LdP). Problemi, Macchine di Turing e LdP.





Prove d'Esame

  • 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.
  • Prove intermedie (durante l'insegnamento) - Sono previste due prove scritte intermedie, i cui argomenti sono gli stessi delle prove d'appello.

Valutazione ed esito delle prove

  • Prova d'appello: valutazione in trentesimi. La prova è superata con un minimo di 18/30.
  • Prove intermedie: valutazione in trentesimi. La prima prova intermedia è superata con un minimo di 16/30. Tale valutazione minima garantisce l'accesso alla seconda prova intermedia, che è superata con un minimo di 18/30. La valutazione COMPLESSIVA è la media delle valutazioni riportate nelle prove intermedie. 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).
  • L'esito della prova in itinere è verbalizzato con il primo appello di giugno.



Prenotazioni

Per sostenere la prova di ciascun appello occorre prenotarsi OBBLIGATORIAMENTE mediante il sistema Esse3. Anche gli studenti che hanno superato le prove in itinere DEVONO prenotarsi per la verbalizzazione al primo appello di giugno.



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.









Materiale Didattico



Teoria dei linguaggi formali

  • 1 - Introduzione: Macchine astratte, linguaggi di programmazione, Macchine di Turing, Introduzione alla teoria dei linguaggi formali (nuova versione del 05 marzo)
  • 2 - Grammatiche e linguaggi (download)
  • 3 - Grammatiche CF e grammatiche CS con esercizi. (download)
  • 4 - Linguaggi CF, pumping lemma con esercizi. (download)
  • 5 - Grammatiche e Macchine con esercizi (download)
  • 6 - Automi con esercizi (download)
  • 7 - Linguaggi regolari con esercizi. (download)

Linguaggi di Programmazione e Compilatori



Materiale Esercitazioni

  • 1 - Tracce esercizi su Macchine di Turing (download)
  • 2 - Grammatiche e linguaggi: esercizi (download)
  • 3 - Esempio di implementazione Macchina di Turing (download)
  • 4 - Esempio di implementazione FSA (download)



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

  • 1 - Tracce Esercizi per la prima prova in itinere (download)
  • 2 - Tracce esercizi su automi, linguaggi regolari, operazioni sui linguaggi (download) (Aggiornato il 10 dicembre 2012)

  • 3 - Tracce esercizi sulla classificazione di linguaggi (download) (Aggiornato il 23 dicembre 2013)









Risultati Appelli e Prove Intermedie









Altri Link Utili