SWAP - Semantic Web Access and Personalization Research Group

Corsi.LINGTA1112 History

Hide minor edits - Show changes to markup

March 13, 2012, at 05:01 AM EST by 193.204.187.86 -
January 06, 2012, at 01:19 PM EST by 109.54.96.248 -
Added lines 26-27:
  • [6 gennaio 12] Pubblicati risultati II prova in itinere

Added lines 197-198:
  • Risultati II prova in itinere \\\
December 27, 2011, at 11:22 AM EST by 193.204.187.86 -
Added lines 46-49:
  • [21 dicembre 11] Il modello di compilatore: approfondimento sullo scanner. Panoramica sui paradigmi di programmazione. Grammar Reader.
  • [19 dicembre 11] Seconda prova in itinere.
December 20, 2011, at 04:34 AM EST by 193.204.187.86 -
Added line 26:
  • [20 dicembre 11] La lezione del 21/12 avrà inizio alle ore 10.45 \\\
December 16, 2011, at 09:48 AM EST by 109.53.89.96 -
Changed lines 26-27 from:
  • [14 novembre 11] Le prenotazioni per la prima prova in itinere sono DEFINITIVAMENTE chiuse

to:
Added lines 32-33:
  • [14 novembre 11] Le prenotazioni per la prima prova in itinere sono DEFINITIVAMENTE chiuse \\\
December 16, 2011, at 09:48 AM EST by 109.53.89.96 -
Added lines 44-47:
  • [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.
December 16, 2011, at 09:45 AM EST by 109.53.89.96 -
Added line 28:
  • [16 dicembre 11] Pubblicato calendario II prova in itinere \\\
December 09, 2011, at 05:11 AM EST by 193.204.187.86 -
Added lines 28-30:
  • [9 dicembre 11] Pubblicati risultati I prova in itinere

Added line 183:
  • Risultati I prova in itinere \\\
December 07, 2011, at 12:23 PM EST by 193.204.187.86 -
Changed line 168 from:
  • Tracce esercizi su automi, linguaggi regolari, operazioni sui linguaggi (download) (Aggiornato il 23 dicembre 2010)\\\
to:
  • Tracce esercizi su automi, linguaggi regolari, operazioni sui linguaggi (download) \\\
December 07, 2011, at 12:22 PM EST by 193.204.187.86 -
Changed line 168 from:
to:
  • Tracce esercizi su automi, linguaggi regolari, operazioni sui linguaggi (download) (Aggiornato il 23 dicembre 2010)\\\
December 07, 2011, at 12:21 PM EST by 193.204.187.86 -
Added lines 136-153:

Grammar Reader

  • Dispensa
  • Esercizi proposti

Linguaggi di Programmazione e Compilatori

  • Il modello di un compilatore

  • Analizzatore lessicale

  • Tabella dei simboli

  • Evoluzione dei linguaggi

December 07, 2011, at 12:18 PM EST by 193.204.187.86 -
Added lines 40-47:
  • [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).
November 25, 2011, at 10:24 AM EST by 193.204.187.86 -
Added line 40:
November 25, 2011, at 10:23 AM EST by 193.204.187.86 -
Changed line 126 from:
  • * Tracce e codice delle esercitazioni guidate
to:
  • Tracce e codice delle esercitazioni guidate
November 25, 2011, at 10:22 AM EST by 193.204.187.86 -
Added lines 125-126:
  • * Tracce e codice delle esercitazioni guidate
November 25, 2011, at 10:20 AM EST by 193.204.187.86 -
Added line 40:
  • [23 novembre 11] Esercitazione di laboratorio n.2
November 22, 2011, at 09:59 AM EST by 193.204.187.86 -
Added lines 40-43:
  • [21 novembre 11] Automi a stati finiti. Esercizi (Cap. 6).
  • [16 novembre 11] Prima prova in itinere.
November 14, 2011, at 10:56 AM EST by 193.204.187.86 -
Changed line 12 from:
  • Programma Preliminare
to:
  • Programma Preliminare
November 14, 2011, at 10:51 AM EST by 193.204.187.86 -
Added lines 25-26:
  • [14 novembre 11] Le prenotazioni per la prima prova in itinere sono DEFINITIVAMENTE chiuse \\\
November 14, 2011, at 09:07 AM EST by 193.204.187.86 -
Changed line 26 from:
  • [14 novembre 11] Pubblicato calendario prima prova in itinere Calendario I prova in itinere \\\
to:
  • [14 novembre 11] Pubblicato calendario I prova in itinere \\\
November 14, 2011, at 09:06 AM EST by 193.204.187.86 -
Added lines 25-26:
  • [14 novembre 11] Pubblicato calendario prima prova in itinere Calendario I prova in itinere \\\
November 11, 2011, at 12:43 PM EST by 193.204.187.86 -
Changed line 115 from:
to:
  • Introduzione alla programmazione orientata agli oggetti (Pubblicato il giorno 11 Novembre 2011)
November 11, 2011, at 12:37 PM EST by 193.204.187.86 -
Added lines 36-39:
  • [9 novembre 11] Programmazione orientata agli oggetti. Esercitazione Guidata #1 (Cap. 5).
  • [7 novembre 11] Altri Teoremi di chiusura. Esercizi (Cap. 5).
November 04, 2011, at 06:39 AM EST by 193.204.187.86 -
Added lines 25-26:
  • [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.
November 04, 2011, at 06:36 AM EST by 193.204.187.86 -
Changed lines 35-39 from:
  • [17 ottobre 11] Esercizi su Pumping lemma per linguaggi liberi da contesto (Cap. 4).
to:
  • [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).
October 20, 2011, at 06:25 AM EST by 193.204.187.86 -
Added lines 34-35:
  • [17 ottobre 11] Esercizi su Pumping lemma per linguaggi liberi da contesto (Cap. 4).
October 20, 2011, at 06:16 AM EST by 193.204.187.86 -
Added line 26:
  • [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.
October 18, 2011, at 06:04 AM EST by 193.204.187.86 -
Added lines 114-120:
  • Tracce esercizi su grammatiche libere da contesto e pumping lemma per linguaggi liberi da contesto (download) (Aggiornato il 17 ottobre 2011)

October 18, 2011, at 05:44 AM EST by 193.204.187.86 -
Added lines 33-34:
  • [17 ottobre 11] Linguaggi liberi da contesto: Pumping lemma e sua dimostrazione. Esercizi (Cap. 4).
October 13, 2011, at 06:53 AM EST by 193.204.187.86 -
Added lines 33-34:
  • [12 ottobre 11] Linguaggi liberi da contesto: alberi di derivazione, principio di sostituzione dei sottoalberi (Cap. 4).
October 11, 2011, at 09:30 AM EST by 193.204.187.86 -
Added lines 33-34:
  • [10 ottobre 11] Grammatiche context-free e grammatiche context-sensitive. Esercizi.
October 06, 2011, at 05:50 AM EST by 193.204.187.86 -
Changed lines 34-36 from:
  • [26 settembre 11] Presentazione del Corso. Macchine astratte e implementazione dei linguaggi di programmazione. Introduzione alla teoria dei linguaggi formali.
to:
  • [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.
Changed lines 87-88 from:

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"

to:

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)

Changed lines 91-92 from:
to:
  • Grammatiche e linguaggi (download)
  • Grammatiche e linguaggi: esercizi (download)
September 29, 2011, at 04:48 AM EST by 193.204.187.86 -
Added lines 84-86:
  • Presentazione del corso (download)
  • Macchine astratte e linguaggi di programmazione (download)
September 22, 2011, at 12:02 PM EST by 193.204.187.86 -
Changed lines 42-45 from:

L'esame consta di tre prove: prova di laboratorio, prova scritta, colloquio orale.

  • Prova di laboratorio - Si consegna obbligatoriamente il codice C++ (sorgente+eseguibile) del Grammar Reader. Vanno sviluppate obbligatoriamente le funzioni di controllo del tipo della grammatica (context-sensitive, context-free, lineare destra). E' facoltativa la consegna dell'automa a stati finiti che accetta il linguaggio dei numeri in notazione scientifica. Il codice va inviato per posta elettronica al docente entro la data della prova di laboratorio che si intende sostenere. In sede di colloquio orale va prodotta una copia cartacea del codice inviato.
to:

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

Changed lines 46-48 from:
  • Colloquio orale - Discussione della prova di laboratorio e colloquio su tutto il programma svolto durante il corso.
to:
  • Colloquio orale - Discussione sulle esercitazioni di laboratorio e colloquio su tutto il programma svolto durante il corso.
Deleted lines 55-56:
  • Prova di laboratorio - La prova di laboratorio è oggetto di discussione e valutazione solo ed esclusivamente durante la prova orale. La consegna è unica e resta valida per tutti gli appelli da gennaio a novembre di un anno accademico.
Changed lines 60-61 from:
  • La valutazione finale è un giudizio complessivo sulle tre prove.
to:
  • La valutazione finale è la media di quelle conseguite nelle due prove.
Deleted lines 64-65:
  • Prova di laboratorio - La prova è valida per gli appelli da gennaio a novembre di un anno accademico. Una volta consegnata, la prova non può essere sostituita prima dell'inizio degli appelli di un nuovo anno accademico.
Changed line 72 from:

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 o malfunzionante, si prega di contattare il docente.

to:

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.

Changed lines 83-87 from:

Saranno rese disponibili SOLO le trasparenze che non fanno riferimento al testo principale del corso.

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

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"

Changed lines 88-106 from:
  • Introduzione alla programmazione orientata agli oggetti (Pubblicato il 25 Novembre 2010)
  • Tracce e codice delle esercitazioni guidate (Pubblicato il 25 Novembre 2010)

Grammar Reader

  • Dispensa
  • Esercizi proposti (Pubblicato il 15 Dicembre 2010)

Linguaggi di Programmazione e Compilatori

  • Il modello di un compilatore (Pubblicato il 10 Gennaio 2011)

  • Analizzatore lessicale (Pubblicato il 10 Gennaio 2011)

  • Tabella dei simboli (Pubblicato il 10 Gennaio 2011)

  • Evoluzione dei linguaggi (Pubblicato il 10 Gennaio 2011)

to:
Changed lines 101-104 from:
  • Tracce esercizi su grammatiche libere da contesto e pumping lemma per linguaggi liberi da contesto (download) (Aggiornato il 15 novembre 2010)

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

to:
Deleted lines 106-108:

Risultati I prova in itinere (Pubblicato il 22 Dicembre 2010)

September 22, 2011, at 11:37 AM EST by 193.204.187.86 -
Added lines 1-147:

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



Docente: Marco de Gemmis










Avvisi









Diario

  • [26 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 tre prove: prova di laboratorio, prova scritta, colloquio orale.

  • Prova di laboratorio - Si consegna obbligatoriamente il codice C++ (sorgente+eseguibile) del Grammar Reader. Vanno sviluppate obbligatoriamente le funzioni di controllo del tipo della grammatica (context-sensitive, context-free, lineare destra). E' facoltativa la consegna dell'automa a stati finiti che accetta il linguaggio dei numeri in notazione scientifica. Il codice va inviato per posta elettronica al docente entro la data della prova di laboratorio che si intende sostenere. In sede di colloquio orale va prodotta una copia cartacea del codice inviato.
  • 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 della prova 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 di laboratorio - La prova di laboratorio è oggetto di discussione e valutazione solo ed esclusivamente durante la prova orale. La consegna è unica e resta valida per tutti gli appelli da gennaio a novembre di un anno accademico.
  • 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 è un giudizio complessivo sulle tre prove.



Validità delle prove

  • Prova di laboratorio - La prova è valida per gli appelli da gennaio a novembre di un anno accademico. Una volta consegnata, la prova non può essere sostituita prima dell'inizio degli appelli di un nuovo anno accademico.
  • 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 o malfunzionante, si prega di contattare il 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 che non fanno riferimento al testo principale del corso.

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

Materiale Laboratorio

  • Introduzione alla programmazione orientata agli oggetti (Pubblicato il 25 Novembre 2010)
  • Tracce e codice delle esercitazioni guidate (Pubblicato il 25 Novembre 2010)

Grammar Reader

  • Dispensa
  • Esercizi proposti (Pubblicato il 15 Dicembre 2010)

Linguaggi di Programmazione e Compilatori

  • Il modello di un compilatore (Pubblicato il 10 Gennaio 2011)

  • Analizzatore lessicale (Pubblicato il 10 Gennaio 2011)

  • Tabella dei simboli (Pubblicato il 10 Gennaio 2011)

  • Evoluzione dei linguaggi (Pubblicato il 10 Gennaio 2011)



Strumenti di Sviluppo

  • Ambiente di Sviluppo Dev-C++ 4.9.9.2









Esercizi & Tracce d'Esame

  • Tracce esercizi su grammatiche libere da contesto e pumping lemma per linguaggi liberi da contesto (download) (Aggiornato il 15 novembre 2010)

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









Risultati delle Prove

Risultati I prova in itinere (Pubblicato il 22 Dicembre 2010)









Link Utili

  • Bloodshed Software