SWAP - Semantic Web Access and Personalization Research Group

Corsi.LINGTA1415 History

Hide minor edits - Show changes to markup

February 18, 2016, at 11:04 AM EST by 193.204.187.90 -
Changed line 40 from:

(:if false:)

to:
Changed line 44 from:

(:ifend:)

to:
February 18, 2016, at 11:03 AM EST by 193.204.187.90 -
Changed line 40 from:
to:

(:if false:)

Changed lines 43-44 from:

(:comment *'''[24 febbraio 15]''' Le lezioni avranno inizio il 2 marzo 2015.:)

to:
  • [24 febbraio 15] Le lezioni avranno inizio il 2 marzo 2015.

(:ifend:)

February 18, 2016, at 11:02 AM EST by 193.204.187.90 -
Changed line 43 from:

(:*'''[24 febbraio 15]''' Le lezioni avranno inizio il 2 marzo 2015.:)

to:

(:comment *'''[24 febbraio 15]''' Le lezioni avranno inizio il 2 marzo 2015.:)

February 18, 2016, at 11:00 AM EST by 193.204.187.90 -
Changed line 43 from:
  • [24 febbraio 15] Le lezioni avranno inizio il 2 marzo 2015.
to:

(:*'''[24 febbraio 15]''' Le lezioni avranno inizio il 2 marzo 2015.:)

February 18, 2016, at 09:56 AM EST by 193.204.187.90 -
Changed lines 43-44 from:

*'''[24 febbraio 15]''' Le lezioni avranno inizio il 2 marzo 2015.

to:
  • [24 febbraio 15] Le lezioni avranno inizio il 2 marzo 2015.
February 18, 2016, at 09:56 AM EST by 193.204.187.90 -
Changed line 43 from:
  1. *[24 febbraio 15] Le lezioni avranno inizio il 2 marzo 2015.
to:

*'''[24 febbraio 15]''' Le lezioni avranno inizio il 2 marzo 2015.

February 18, 2016, at 09:56 AM EST by 193.204.187.90 -
Changed line 43 from:
  • [24 febbraio 15] Le lezioni avranno inizio il 2 marzo 2015.
to:
  1. *[24 febbraio 15] Le lezioni avranno inizio il 2 marzo 2015.
February 18, 2016, at 09:54 AM EST by 193.204.187.90 -
Changed line 43 from:

= *[24 febbraio 15] Le lezioni avranno inizio il 2 marzo 2015. =

to:
  • [24 febbraio 15] Le lezioni avranno inizio il 2 marzo 2015.
February 18, 2016, at 09:54 AM EST by 193.204.187.90 -
Changed line 43 from:

= *[24 febbraio 15] Le lezioni avranno inizio il 2 marzo 2015.

to:

= *[24 febbraio 15] Le lezioni avranno inizio il 2 marzo 2015. =

February 18, 2016, at 09:53 AM EST by 193.204.187.90 -
Changed line 43 from:
  • [24 febbraio 15] Le lezioni avranno inizio il 2 marzo 2015.
to:

= *[24 febbraio 15] Le lezioni avranno inizio il 2 marzo 2015.

June 19, 2015, at 07:15 AM EST by 193.204.187.86 -
Changed lines 216-217 from:
  • Risultati prova 18-06-2015

(vedi risultati)

to:
  • Risultati prova 18-06-2015 (vedi risultati)
June 19, 2015, at 07:15 AM EST by 193.204.187.86 -
Added line 25:
June 19, 2015, at 07:13 AM EST by 193.204.187.86 -
June 19, 2015, at 07:13 AM EST by 193.204.187.86 -
Changed line 208 from:

Risultati delle Prove Intermedie

to:

Risultati Appelli e Prove Intermedie

June 19, 2015, at 07:11 AM EST by 193.204.187.86 -
Changed line 216 from:

https://docs.google.com/spreadsheets/d/1rEfsPXNHCG5UhWoVkqGbqBfKOZFm9hVeeR1sujgpXKw/pubhtml

to:

(vedi risultati)

June 19, 2015, at 07:10 AM EST by 193.204.187.86 -
Added lines 214-217:
  • Risultati prova 18-06-2015

https://docs.google.com/spreadsheets/d/1rEfsPXNHCG5UhWoVkqGbqBfKOZFm9hVeeR1sujgpXKw/pubhtml

June 16, 2015, at 06:17 AM EST by 193.204.187.86 -
Added lines 26-27:
Changed lines 51-54 from:
  • [3 giugno 15]
  • [1 giugno 15]
to:
  • [3 giugno 15] II prova in itinere.
  • [1 giugno 15] Esercizi per II prova in itinere.
Added line 213:
  • Risultati II prova in itinere (vedi risultati)
May 27, 2015, at 09:06 AM EST by 212.189.239.27 -
Changed line 53 from:
  • [27 maggio 15]
to:
  • [27 maggio 15] Evoluzione dei linguaggi di programmazione.
May 26, 2015, at 10:57 AM EST by 193.204.187.86 -
Added lines 167-168:
  • 5 - * Cenni alla programmazione orientata agli oggetti
May 26, 2015, at 10:51 AM EST by 193.204.187.86 -
Changed line 166 from:
  • 4 - (Evoluzione dei Linguaggi di Programmazione)
to:
  • 4 - Evoluzione dei Linguaggi di Programmazione
May 26, 2015, at 10:50 AM EST by 193.204.187.86 -
Changed lines 164-168 from:
  • 3 - Tabella dei simboli \\\
to:
  • 3 - Tabella dei simboli
  • 4 - (Evoluzione dei Linguaggi di Programmazione)

\\\

May 26, 2015, at 04:03 AM EST by 193.204.187.86 -
Added lines 174-175:
  • 4 - Esempio di implementazione FSA (download)
May 26, 2015, at 03:34 AM EST by 193.204.187.86 -
Changed lines 55-57 from:
  • [25 maggio 15]
  • [20 maggio 15]
to:
  • [25 maggio 15] Lo scanner. Tabella dei simboli.
  • [20 maggio 15] Esercizi per la seconda prova in itinere.
May 21, 2015, at 10:50 AM EST by 193.204.187.86 -
Added lines 25-26:
  • [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.
May 19, 2015, at 06:57 AM EST by 193.204.187.86 -
Changed lines 57-58 from:
  • [18 maggio 15]
to:
  • [18 maggio 15] Il modello di compilatore. Esercizi su linguaggi regolari e su pumping Lemma per linguaggi regolari.
Added lines 157-162:
  • 1 - Il modello di un compilatore

  • 2 - Analizzatore lessicale

  • 3 - Tabella dei simboli \\\
May 14, 2015, at 05:01 AM EST by 193.204.187.86 -
Changed line 59 from:
  • [13 maggio 15]
to:
  • [13 maggio 15] Esercizi su linguaggi regolari e su pumping Lemma per linguaggi regolari.
May 12, 2015, at 10:31 AM EST by 193.204.187.86 -
Added lines 182-184:
  • 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)\\\
May 12, 2015, at 10:06 AM EST by 193.204.187.86 -
Changed line 61 from:
  • [11 maggio 15]
to:
  • [11 maggio 15] Pumping Lemma per linguaggi regolari. Esercizi su linguaggi regolari.
May 10, 2015, at 06:49 AM EST by 130.25.139.175 -
Changed line 26 from:
to:
May 10, 2015, at 06:48 AM EST by 130.25.139.175 -
May 10, 2015, at 06:47 AM EST by 130.25.139.175 -
Added lines 25-26:
May 10, 2015, at 06:44 AM EST by 130.25.139.175 -
Changed lines 188-189 from:
  • qui troverete i risultati delle due prove intermedie
to:
  • Risultati I prova in itinere (vedi risultati)
May 06, 2015, at 09:01 AM EST by 212.189.239.28 -
Changed line 61 from:
  • [6 maggio 15]
to:
  • [6 maggio 15] Linguaggi regolari ed espressioni regolari. Teorema di Kleene. Algoritmi di conversione automi-grammatiche.
May 05, 2015, at 06:21 AM EST by 193.204.187.86 -
Changed lines 149-151 from:
  • 6 - Automi (download)
to:
  • 6 - Automi con esercizi (download)
  • 7 - Linguaggi regolari con esercizi. (download)
May 05, 2015, at 06:19 AM EST by 193.204.187.86 -
May 05, 2015, at 06:19 AM EST by 193.204.187.86 -
Added lines 148-149:
  • 6 - Automi (download)
May 05, 2015, at 06:18 AM EST by 193.204.187.86 -
Changed line 63 from:
  • [4 maggio 15]
to:
  • [4 maggio 15] Automi a stati finiti deterministici e non deterministici. Esercizi.
April 29, 2015, at 07:38 AM EST by 192.167.60.165 -
Changed lines 65-69 from:
  • [29 aprile 15]
  • [27 aprile 15]
  • [22 aprile 15]
to:
  • [29 aprile 15] Esercizi su proprietà di chiusura.
  • [27 aprile 15] Teoremi chiusura e relative dimostrazioni.
April 21, 2015, at 03:39 AM EST by 193.204.187.86 -
Changed line 26 from:
  • [21 aprile 15] La lezione del 22 aprile non si terrà a causa di indisposizione del docente. '''
to:
  • [21 aprile 15] La lezione del 22 aprile non si terrà a causa di indisposizione del docente.
April 21, 2015, at 03:39 AM EST by 193.204.187.86 -
April 21, 2015, at 03:39 AM EST by 193.204.187.86 -
Changed line 26 from:
  • [21 aprile 15] La lezione del 22 aprile non si terrà a causa di indisposizione del docente.
to:
  • [21 aprile 15] La lezione del 22 aprile non si terrà a causa di indisposizione del docente. '''
April 21, 2015, at 03:38 AM EST by 193.204.187.86 -
Added lines 26-27:
  • [21 aprile 15] La lezione del 22 aprile non si terrà a causa di indisposizione del docente.
Changed lines 71-72 from:
  • [20 aprile 15] Gerarchia di Chomsky. Operazioni su Linguaggi. Chiusura di linguaggi.
to:
  • [20 aprile 15] Gerarchia di Chomsky. Operazioni su Linguaggi. Chiusura di classi di linguaggi.
Changed lines 149-151 from:
  • 5 - Grammatiche e Macchine con esercizi. (download)
to:
  • 5 - Grammatiche e Macchine con esercizi (download)
Changed lines 161-162 from:
  • 3 - Esempio di implementazione Macchina di Turing

(download)

to:
  • 3 - Esempio di implementazione Macchina di Turing (download)
April 21, 2015, at 03:32 AM EST by 193.204.187.86 -
Changed line 69 from:
  • [20 aprile 15]
to:
  • [20 aprile 15] Gerarchia di Chomsky. Operazioni su Linguaggi. Chiusura di linguaggi.
April 21, 2015, at 03:25 AM EST by 193.204.187.86 -
Changed line 160 from:

(download)

to:

(download)

April 21, 2015, at 03:22 AM EST by 193.204.187.86 -
Changed lines 145-147 from:
  • 4 - * Linguaggi CF, pumping lemma con esercizi. (download)
to:
  • 4 - Linguaggi CF, pumping lemma con esercizi. (download)
  • 5 - Grammatiche e Macchine con esercizi. (download)
Added lines 158-161:
  • 3 - Esempio di implementazione Macchina di Turing

(download)

April 16, 2015, at 12:04 PM EST by 193.204.187.86 -
Changed lines 71-73 from:
  • [15 aprile 15]
  • [13 aprile 15]
to:
  • [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.
April 10, 2015, at 10:13 AM EST by 193.204.187.86 -
Changed line 26 from:
  • '''[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.
to:
  • [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.
April 10, 2015, at 10:12 AM EST by 193.204.187.86 -
Added lines 25-26:
  • '''[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.
April 09, 2015, at 05:08 AM EST by 193.204.187.86 -
Added lines 25-26:
  • [09 aprile 15] Le prenotazioni per la prima prova in itinere sono chiuse. Gli iscritti sono suddivisi in DUE turni. (vedi turni)
March 26, 2015, at 06:12 AM EST by 193.204.187.86 -
March 26, 2015, at 06:12 AM EST by 193.204.187.86 -
Changed line 165 from:
  • qui troverete altri esercizi di preparazione alla prova scritta
to:
  • 1 - Tracce Esercizi per la prima prova in itinere (download)
March 26, 2015, at 06:10 AM EST by 193.204.187.86 -
Added lines 25-26:
  • [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.
March 26, 2015, at 05:58 AM EST by 193.204.187.86 -
Changed lines 69-71 from:
  • [25 marzo 15]
  • [23 marzo 15]
to:
  • [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.
March 19, 2015, at 05:10 AM EST by 193.204.187.86 -
Changed line 73 from:
  • [18 marzo 15]
to:
  • [18 marzo 15] Alberi di derivazione. Relazione tra altezza di un albero e lunghezza della sua frontiera. Pumping Lemma per Linguaggi Context-free (enunciato).
March 17, 2015, at 12:55 PM EST by 193.204.187.86 -
Added lines 138-139:
  • 4 - * Linguaggi CF, pumping lemma con esercizi. (download)
March 17, 2015, at 07:40 AM EST by 193.204.187.86 -
Changed line 75 from:
  • [16 marzo 15]
to:
  • [16 marzo 15] Grammatiche context-free e grammatiche context-sensitive. Esercizi.
March 12, 2015, at 07:50 AM EST by 193.204.187.86 -
Added lines 136-137:
  • 3 - Grammatiche CF e grammatiche CS con esercizi. (download)
March 12, 2015, at 07:47 AM EST by 193.204.187.86 -
Changed line 77 from:
  • [11 marzo 15]
to:
  • [11 marzo 15] Linguaggi e grammatiche: derivazioni, correttezza di una grammatica.
March 10, 2015, at 04:55 AM EST by 193.204.187.86 -
Changed lines 79-80 from:
  • [09 marzo 15]
to:
  • [09 marzo 15] Linguaggi e grammatiche: definizioni. Esercitazioni su MdT.
Changed lines 135-137 from:
to:
  • 2 - Grammatiche e linguaggi (download)
Changed lines 143-144 from:
  • qui troverete altro materiale relativo alle esercitazioni
to:
  • 1 - Tracce esercizi su Macchine di Turing (download)
  • 2 - Grammatiche e linguaggi: esercizi (download)
March 05, 2015, at 09:25 AM EST by 193.204.187.86 -
Changed lines 26-27 from:
to:
  • [05 marzo 15] Pubblicata nuova versione delle diapositive 1 - Introduzione.
Changed lines 81-82 from:
  • [04 marzo 15]
to:
  • [04 marzo 15] Introduzione alle grammatiche: concetto intuitivo di grammatica, albero di derivazione. Il linguaggio delle parentesi ben formate.
Changed lines 133-135 from:
  • Macchine astratte, linguaggi di programmazione, Macchine di Turing, Introduzione alla teoria dei linguaggi formali (download)
to:
  • 1 - Introduzione: Macchine astratte, linguaggi di programmazione, Macchine di Turing, Introduzione alla teoria dei linguaggi formali (nuova versione del 05 marzo)
Changed line 173 from:

to:

March 03, 2015, at 04:42 AM EST by 193.204.187.86 -
Changed lines 82-84 from:
  • [02 marzo 15]
to:
  • [02 marzo 15] Presentazione dell'insegnamento. Implementazione dei Linguaggi di Programmazione (LdP). Problemi, Macchine di Turing e LdP.
Added lines 126-129:
  • Presentazione del corso (download)
Changed lines 132-133 from:

Saranno rese disponibili le trasparenze utilizzate a lezione sulla teoria dei linguaggi formali

to:
  • Macchine astratte, linguaggi di programmazione, Macchine di Turing, Introduzione alla teoria dei linguaggi formali (download)
Deleted line 136:
  • altro materiale su implementazione dei linguaggi di programmazione e compilatori
February 24, 2015, at 10:26 AM EST by 193.204.187.86 -
Changed lines 126-129 from:

Trasparenze utilizzate a lezione

Saranno rese disponibili solo le trasparenze utilizzate a lezione

to:

Teoria dei linguaggi formali

Saranno rese disponibili le trasparenze utilizzate a lezione sulla teoria dei linguaggi formali

Added lines 132-133:
  • altro materiale su implementazione dei linguaggi di programmazione e compilatori
Changed lines 151-154 from:
  • qui trovarete altri esercizi di preparazione alla prova scritta
to:
  • qui troverete altri esercizi di preparazione alla prova scritta
Deleted line 168:

\\\

February 24, 2015, at 10:23 AM EST by 193.204.187.86 -
Added lines 1-167:

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



Docente: Marco de Gemmis










Avvisi

  • [24 febbraio 15] Le lezioni avranno inizio il 2 marzo 2015.









Diario

  • [3 giugno 15]
  • [1 giugno 15]
  • [27 maggio 15]
  • [25 maggio 15]
  • [20 maggio 15]
  • [18 maggio 15]
  • [13 maggio 15]
  • [11 maggio 15]
  • [6 maggio 15]
  • [4 maggio 15]
  • [29 aprile 15]
  • [27 aprile 15]
  • [22 aprile 15]
  • [20 aprile 15]
  • [15 aprile 15]
  • [13 aprile 15]
  • [25 marzo 15]
  • [23 marzo 15]
  • [18 marzo 15]
  • [16 marzo 15]
  • [11 marzo 15]
  • [09 marzo 15]
  • [04 marzo 15]
  • [02 marzo 15]





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



Trasparenze utilizzate a lezione

Saranno rese disponibili solo le trasparenze utilizzate a lezione

Linguaggi di Programmazione e Compilatori

Materiale Esercitazioni

  • qui troverete altro materiale relativo alle esercitazioni



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

  • qui trovarete altri esercizi di preparazione alla prova scritta









Risultati delle Prove Intermedie

  • qui troverete i risultati delle due prove intermedie









Altri Link Utili \\\