SWAP - Semantic Web Access and Personalization Research Group

Corsi.LINGTA1213 History

Hide minor edits - Show changes to markup

May 30, 2013, at 10:59 AM EST by 193.204.187.86 -
Changed line 27 from:
  • [16 gennaio 13] La prenotazione agli esami va effettuata con il sistema Esse3 \\\
to:
  • [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. \\\
January 16, 2013, at 11:59 AM EST by 193.204.187.86 -
Added lines 26-27:
  • [16 gennaio 13] La prenotazione agli esami va effettuata con il sistema Esse3 \\\
January 15, 2013, at 05:42 AM EST by 94.87.202.154 -
Added lines 48-49:
  • [21 dicembre 12] II prova in itinere.
January 09, 2013, at 01:51 PM EST by 193.204.187.86 -
Added lines 27-28:
  • [9 gennaio 13] Pubblicati risultati prove in itinere

Added lines 197-198:
  • Pubblicati risultati prove in itinere
December 21, 2012, at 08:35 AM EST by 94.87.202.154 -
December 19, 2012, at 08:32 AM EST by 193.204.187.86 -
Changed line 27 from:
  • [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. \\\
to:
  • [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.
December 19, 2012, at 08:31 AM EST by 193.204.187.86 -
Added line 26:
December 19, 2012, at 08:31 AM EST by 193.204.187.86 -
Added lines 26-27:
  • [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. \\\
December 19, 2012, at 08:27 AM EST by 193.204.187.86 -
December 18, 2012, at 06:25 PM EST by 217.201.167.78 -
Changed lines 26-27 from:
to:
  • [19 dicembre 12] Pubblicati risultati I prova in itinere e calendario II prova

Added lines 43-44:
  • [18 dicembre 12] Tabella dei simboli. Panoramica sui paradigmi di programmazione. Laboratorio: Grammar Reader.
December 17, 2012, at 11:43 AM EST by 193.204.187.86 -
Added lines 153-157:

Grammar Reader

  • Dispensa
  • Esercizi proposti \\\
December 17, 2012, at 11:13 AM EST by 193.204.187.86 -
Added lines 42-43:
  • [14 dicembre 12] I passi del compilatore. Esercizi in preparazione alla II prova in itinere.
December 13, 2012, at 11:24 AM EST by 193.204.187.86 -
Added lines 151-161:

Linguaggi di Programmazione e Compilatori

  • Il modello di un compilatore

  • Analizzatore lessicale

  • Tabella dei simboli

  • Evoluzione dei linguaggi \\\
December 13, 2012, at 11:22 AM EST by 193.204.187.86 -
Changed lines 12-13 from:
  • Programma Preliminare
to:
  • Programma
December 13, 2012, at 11:20 AM EST by 193.204.187.86 -
Added lines 41-42:
  • [11 dicembre 12] Esercizi in preparazione alla II prova in itinere.
December 10, 2012, at 12:57 PM EST by 193.204.187.86 -
Added line 160:
  • Tracce esercizi su automi, linguaggi regolari, operazioni sui linguaggi (download) (Aggiornato il 10 dicembre 2012) \\\
December 10, 2012, at 04:04 AM EST by 193.204.187.86 -
Added lines 41-42:
  • [7 dicembre 12] Pumping lemma per linguaggi regolari. Esercizi su espressioni regolari e linguaggi regolari, pumping lemma.
December 04, 2012, at 07:42 AM EST by 94.87.202.154 -
Changed lines 26-27 from:
to:
  • [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).

Added lines 41-42:
  • [4 dicembre 12] Espressioni regolari, linguaggi regolari, teorema di Kleene.
December 03, 2012, at 12:15 PM EST by 193.204.187.86 -
Added lines 41-42:
  • [30 novembre 12] Automi a stati finiti. Laboratorio: revisioni esercitazioni guidate.
Added line 132:
  • Capitolo 7 con esercizi. (download)
November 29, 2012, at 12:27 PM EST by 193.204.187.86 -
Changed lines 128-129 from:
  • Capitolo5 con esercizi. (download)
to:
  • Capitolo 5 con esercizi. (download)
  • Capitolo 6 con esercizi. (download)
November 29, 2012, at 12:21 PM EST by 193.204.187.86 -
Added lines 40-41:
  • [27 novembre 12] Esercizi su proprietÓ di chiusura. Laboratorio: Esercitazione guidata 3. Revisione prima prova in itinere.
November 26, 2012, at 11:01 AM EST by 193.204.187.86 -
Added lines 40-43:
  • [19 novembre 12] Prima prova in itinere.
  • [16 novembre 12] Esercizi su proprietÓ di chiusura. Laboratorio: Esercitazione guidata 2.
November 14, 2012, at 11:17 AM EST by 193.204.187.86 -
Added line 41:
  • [13 novembre 12] Dimostrazione Teorema di Chiusura. Laboratorio: ereditarietÓ (2a parte).
November 12, 2012, at 12:54 PM EST by 193.204.187.86 -
Changed line 131 from:

Esercitazione guidata 2

to:
  • Esercitazione guidata 2
November 12, 2012, at 12:53 PM EST by 193.204.187.86 -
Added lines 130-131:

Esercitazione guidata 2

November 12, 2012, at 09:14 AM EST by 193.204.187.86 -
Changed lines 127-129 from:
  • [http://www.di.uniba.it/~swap/uploads/Corsi/LP/esguidata1.rar|Esercitazione guidata 1]]
  • [http://www.di.uniba.it/~swap/uploads/Corsi/LP/esempiered.rar|Esempi ereditarietÓ]]
to:
  • Esercitazione guidata 1
  • Esempi ereditarietÓ
November 12, 2012, at 09:13 AM EST by 193.204.187.86 -
Changed lines 41-44 from:
  • [5 novembre 12] Revisione Esercitazione Guidata 1. Gerarchia di Chomsky.
  • [30 ottobre 12] Introduzione alla programmazione orientata agli oggetti. Esercitazione Guidata 1.
to:
  • [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.
Changed line 129 from:

[http://www.di.uniba.it/~swap/uploads/Corsi/LP/esempiered.rar|Esempi ereditarietÓ]]

to:
  • [http://www.di.uniba.it/~swap/uploads/Corsi/LP/esempiered.rar|Esempi ereditarietÓ]]
November 12, 2012, at 09:07 AM EST by 193.204.187.86 -
Changed lines 124-126 from:
  • Esercitazione guidata 1
to:
  • [http://www.di.uniba.it/~swap/uploads/Corsi/LP/esguidata1.rar|Esercitazione guidata 1]]

[http://www.di.uniba.it/~swap/uploads/Corsi/LP/esempiered.rar|Esempi ereditarietÓ]]

November 08, 2012, at 04:41 AM EST by 193.204.187.86 -
Added lines 40-41:
  • [5 novembre 12] Revisione Esercitazione Guidata 1. Gerarchia di Chomsky.
November 05, 2012, at 01:39 PM EST by 193.204.187.86 -
Changed lines 41-43 from:
  • [25 ottobre 12] Esercizi di preparazione alla prima prova in itinere.
to:
  • [30 ottobre 12] Introduzione alla programmazione orientata agli oggetti. Esercitazione Guidata 1.
  • [26 ottobre 12] Esercizi di preparazione alla prima prova in itinere.
November 05, 2012, at 01:37 PM EST by 193.204.187.86 -
Added line 114:
  • Capitolo5 con esercizi. (download)
November 05, 2012, at 01:29 PM EST by 193.204.187.86 -
Added lines 116-119:
  • Introduzione alla programmazione orientata agli oggetti
  • Esercitazione guidata 1
October 31, 2012, at 11:52 AM EST by 193.204.187.86 -
Changed line 27 from:
  • [31 ottobre 12] Pubblicato calendario I prova in itinere \\\
to:
  • [31 ottobre 12] Pubblicato calendario I prova in itinere \\\
October 31, 2012, at 11:02 AM EST by 193.204.187.86 -
Deleted line 25:

https://docs.google.com/open?id=0B2bW0DL23i38X0VWek1lQUl3ZXM

October 31, 2012, at 11:01 AM EST by 193.204.187.86 -
Added lines 25-30:

https://docs.google.com/open?id=0B2bW0DL23i38X0VWek1lQUl3ZXM

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

  • [31 ottobre 12] Le prenotazioni per la prima prova in itinere sono DEFINITIVAMENTE chiuse \\\
October 31, 2012, at 10:54 AM EST by 193.204.187.86 -
Deleted lines 24-25:
  • [31 ottobre 12] Pubblicato calendario I prova in itinere \\\
October 31, 2012, at 10:53 AM EST by 193.204.187.86 -
October 31, 2012, at 10:53 AM EST by 193.204.187.86 -
Added lines 25-28:
  • [31 ottobre 12] Pubblicato calendario I prova in itinere

  • [31 ottobre 12] La lezione del 2 novembre non si terrÓ \\\
October 26, 2012, at 11:33 AM EST by 95.75.176.116 -
Added lines 33-34:
  • [25 ottobre 12] Esercizi di preparazione alla prima prova in itinere.
October 24, 2012, at 04:31 AM EST by 193.204.187.86 -
Added lines 118-119:
  • Esercizi su grammatiche libere da contesto e pumping lemma per linguaggi liberi da contesto (download) (Aggiornato il 24 ottobre 2012)

October 24, 2012, at 04:28 AM EST by 193.204.187.86 -
Changed lines 34-38 from:
  • [15 ottobre 12] Linguaggi Context-free. Pumping lemma. Esercizi (cap. 4).
to:
  • [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).
October 17, 2012, at 01:16 PM EST by 193.204.187.86 -
Added lines 34-35:
  • [15 ottobre 12] Linguaggi Context-free. Pumping lemma. Esercizi (cap. 4).
Added line 100:
  • Linguaggi CF, pumping lemma con esercizi. (download)
October 15, 2012, at 04:43 AM EST by 193.204.187.86 -
Changed lines 34-35 from:
  • [5 ottobre 12] Introduzione alla teoria dei linguaggi formali. Grammatiche e linguaggi. Esercizi (cap. 2).
to:
  • [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.
Changed line 97 from:
to:
  • Grammatiche CF e grammatiche CS con esercizi. (download)
October 10, 2012, at 11:57 AM EST by 193.204.187.86 -
Added line 26:
  • [10 ottobre 12] La lezione del 12 ottobre terminerÓ alle 12.15 per concomitanza con la seduta di laurea \\\
Changed line 119 from:

\\\

to:

\\\

October 10, 2012, at 11:50 AM EST by 193.204.187.86 -
Changed lines 33-34 from:
to:
  • [5 ottobre 12] Introduzione alla teoria dei linguaggi formali. Grammatiche e linguaggi. Esercizi (cap. 2).
  • [2 ottobre 12] Presentazione del Corso. Macchine astratte e implementazione dei linguaggi di programmazione.
Added lines 90-93:
  • Grammatiche e linguaggi (download)
  • Grammatiche e linguaggi: esercizi (download)
Deleted line 118:
October 01, 2012, at 05:24 AM EST by 193.204.187.86 -
Changed line 83 from:
  • Presentazione del corso (download)
to:
  • Presentazione del corso (download)
October 01, 2012, at 05:23 AM EST by 193.204.187.86 -
Changed lines 83-84 from:
  • Presentazione del corso
to:
  • Presentazione del corso (download)
September 30, 2012, at 02:24 PM EST by 109.55.112.15 -
Changed line 83 from:

// * Presentazione del corso (download)

to:
  • Presentazione del corso
September 30, 2012, at 02:23 PM EST by 109.55.112.15 -
September 30, 2012, at 02:23 PM EST by 109.55.112.15 -
Changed line 83 from:
  • Presentazione del corso (download)
to:

// * Presentazione del corso (download)

September 30, 2012, at 02:21 PM EST by 109.55.112.15 -
Added lines 1-111:

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



Docente: Marco de Gemmis










Avvisi









Diario





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)

  • Presentazione del corso (download)
  • Macchine astratte e linguaggi di programmazione (download)

Materiale Laboratorio



Strumenti di Sviluppo









Esercizi & Tracce d'Esame









Risultati delle Prove









Link Utili