SWAP - Semantic Web Access and Personalization Research Group

Corsi.LINGTA1516 History

Hide minor edits - Show changes to markup

July 15, 2016, at 06:53 AM EST by 193.204.187.86 -
Added lines 48-49:
  • [15 luglio 16] Pubblicati in Esse3 i risultati della prova del giorno 11 luglio. Il giorno 20 luglio al termine della seduta di laurea, presumibilmente intorno alle 11.30, sarò disponibile per la visione delle prove.
June 20, 2016, at 11:25 AM EST by 193.204.187.86 -
June 20, 2016, at 11:25 AM EST by 193.204.187.86 -
Changed line 49 from:
to:
June 20, 2016, at 11:24 AM EST by 193.204.187.86 -
Added lines 49-50:
Added lines 262-263:
  • Risultati appello 17-06-2016 (vedi risultati)
June 14, 2016, at 11:58 AM EST by 193.204.187.86 -
Added lines 48-49:
  • [13 giugno 16] Gli iscritti all'appello di giugno sono suddivisi in DUE turni. (vedi turni)
June 06, 2016, at 10:33 AM EST by 193.204.187.86 -
Added lines 48-49:
  • [5 giugno 16] Ricevimento per visione della prova in itinere: 10 giugno 2016 ore 10:00.
June 06, 2016, at 07:06 AM EST by 193.204.187.86 -
June 06, 2016, at 07:06 AM EST by 193.204.187.86 -
Added lines 99-100:
  • [1 giugno 15] Esercizi per la preparazione alla prova d'esame.
May 31, 2016, at 07:20 AM EST by 193.204.187.86 -
Added lines 48-49:
  • [31 maggio 16] La prova in itinere è valida come esonero SOLO per l'appello di GIUGNO. Solo per questo appello infatti ci sarà una traccia specifica per gli esonerati. Chi vuole rinunciare all'esonero deve comunicarlo al docente per email per l'organizzazione delle tracce. Gli iscritti all'appello di giugno saranno suddivisi in turni che saranno pubblicati alla chiusura delle prenotazioni.
May 31, 2016, at 07:02 AM EST by 193.204.187.86 -
Added lines 49-50:
Added lines 252-255:
  • Risultati prova intermedia (vedi risultati)
Deleted line 256:
  • Risultati I prova in itinere (vedi risultati)
May 31, 2016, at 06:57 AM EST by 193.204.187.86 -
Changed lines 77-95 from:
  • [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.
to:
Changed lines 96-104 from:
  • [18 maggio 16] Automi a stati finiti non deterministici. Esercizi.
to:
  • [30 maggio 16] Il modello di compilatore. Lo scanner. Tabella dei simboli. Esercizi su linguaggi regolari e su pumping Lemma per linguaggi regolari.
  • [25 maggio 16] Pumping Lemma per linguaggi regolari. Esercizi su linguaggi regolari e su pumping Lemma per linguaggi regolari.
  • [23 maggio 16] Algoritmi di conversione automi-grammatiche. Esercizi.
  • [18 maggio 16] Linguaggi regolari ed espressioni regolari. Teorema di Kleene.
  • [16 maggio 16] Automi a stati finiti non deterministici. Esercizi.
May 17, 2016, at 06:06 AM EST by 193.204.187.86 -
Changed lines 81-97 from:
  • [4 maggio 15] Automi a stati finiti deterministici e non deterministici. Esercizi.
to:
Added lines 97-98:
  • [18 maggio 16] Automi a stati finiti non deterministici. Esercizi.
May 11, 2016, at 07:30 AM EST by 192.167.60.165 -
Added lines 99-100:
  • [11 maggio 16] Automi a stati finiti deterministici.
May 10, 2016, at 05:10 PM EST by 130.25.152.6 -
Changed line 111 from:
  • [07 aprile 16] Ambiguità di grammatiche e linguaggi CF. Esercizi di preparazione alla prova in intinere.
to:
  • [06 aprile 16] Ambiguità di grammatiche e linguaggi CF. Esercizi di preparazione alla prova in intinere.
May 10, 2016, at 05:02 PM EST by 130.25.152.6 -
Changed lines 115-117 from:
  • [30 marzo 16] Esercizi su Grammatiche e Linguaggi.
  • [28 marzo 16] Esercizi su Pumping Lemma per Linguaggi Context-free.
to:
  • [30 marzo 16] Esercizi su Pumping Lemma per Linguaggi Context-free. Esercizi su Grammatiche e Linguaggi.
May 10, 2016, at 04:52 PM EST by 130.25.152.6 -
Changed lines 83-98 from:
  • [29 aprile 15] Esercizi su proprietà di chiusura.
  • [27 aprile 15] Teoremi chiusura e relative dimostrazioni.
to:
Changed lines 100-104 from:
  • [27 aprile 15] Gerarchia di Chomsky. Operazioni su Linguaggi. Chiusura di classi di linguaggi.
  • [21 aprile 15] Revisione della prima prova in itinere.
  • [18 aprile 15]Prima prova in itinere: grammatiche, linguaggi, pumping lemma per linguaggi CF.
to:
  • [9 maggio 16] Esercizi su proprietà di chiusura.
  • [2 maggio 16] Teoremi chiusura e relative dimostrazioni.
  • [27 aprile 16] Gerarchia di Chomsky. Operazioni su Linguaggi. Chiusura di classi di linguaggi.
  • [20 aprile 16] Revisione della prima prova in itinere.
  • [18 aprile 16]Prima prova in itinere: grammatiche, linguaggi, pumping lemma per linguaggi CF.
April 27, 2016, at 04:06 AM EST by 192.167.60.165 -
April 27, 2016, at 04:06 AM EST by 192.167.60.165 -
Changed lines 87-100 from:
  • [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.
to:
Added lines 100-106:
  • [27 aprile 15] Gerarchia di Chomsky. Operazioni su Linguaggi. Chiusura di classi di linguaggi.
  • [21 aprile 15] Revisione della prima prova in itinere.
  • [18 aprile 15]Prima prova in itinere: grammatiche, linguaggi, pumping lemma per linguaggi CF.
April 15, 2016, at 03:56 AM EST by 193.204.187.86 -
Changed lines 49-52 from:
  • [08 marzo 15] Pubblicata nuova versione delle diapositive: Tracce esercizi su Macchine di Turing.
to:
  • [15 aprile 16] Le prenotazioni per la prima prova in itinere sono chiuse. Gli iscritti sono suddivisi in DUE turni. (vedi turni)
  • [08 marzo 16] Pubblicata nuova versione delle diapositive: Tracce esercizi su Macchine di Turing.
April 06, 2016, at 07:35 AM EST by 192.167.60.165 -
Added lines 99-100:
  • [07 aprile 16] Ambiguità di grammatiche e linguaggi CF. Esercizi di preparazione alla prova in intinere.
April 05, 2016, at 11:47 AM EST by 193.204.187.86 -
Changed line 219 from:

1 - Tracce esercizi per la prova in itinere

to:

1 - Tracce esercizi per la prova in itinere

April 05, 2016, at 11:18 AM EST by 193.204.187.86 -
Changed lines 100-114 from:
  • [28 marzo 15] Esercizi su grammatiche e Pumping Lemma per Linguaggi Context-free.
  • [23 marzo 15]Esercizi su Pumping Lemma per Linguaggi Context-free.
  • [21 marzo 15] Relazione tra altezza di un albero e lunghezza della sua frontiera. Pumping Lemma per Linguaggi Context-free (dimostrazione).
  • [16 marzo 15] Alberi di derivazione. Introduzione al Pumping Lemma per Linguaggi Context-free (enunciato).
  • [14 marzo 15] Grammatiche context-free e grammatiche context-sensitive. Esercizi.
  • [9 marzo 15] Linguaggi e grammatiche: derivazioni, correttezza di una grammatica.
  • [7 marzo 15] Linguaggi e grammatiche: definizioni. Esercitazioni su MdT.
  • [2 marzo 15] Introduzione alle grammatiche: concetto intuitivo di grammatica, albero di derivazione. Il linguaggio delle parentesi ben formate.
to:
  • [04 aprile 16] Esercizi di preparazione alla prova in intinere.
  • [30 marzo 16] Esercizi su Grammatiche e Linguaggi.
  • [28 marzo 16] Esercizi su Pumping Lemma per Linguaggi Context-free.
  • [23 marzo 16]Il linguaggio a^nb^nc^n.
  • [21 marzo 16] Relazione tra altezza di un albero e lunghezza della sua frontiera. Pumping Lemma per Linguaggi Context-free (dimostrazione).
  • [16 marzo 16] Alberi di derivazione. Introduzione al Pumping Lemma per Linguaggi Context-free (enunciato).
  • [14 marzo 16] Grammatiche context-free e grammatiche context-sensitive. Esercizi.
  • [9 marzo 16] Linguaggi e grammatiche: derivazioni, correttezza di una grammatica.
  • [7 marzo 16] Linguaggi e grammatiche: definizioni. Esercitazioni su MdT.
  • [2 marzo 16] Introduzione alle grammatiche: concetto intuitivo di grammatica, albero di derivazione. Il linguaggio delle parentesi ben formate.
April 05, 2016, at 11:14 AM EST by 193.204.187.86 -
Changed lines 90-98 from:
  • [25 marzo 15] Esercizi su grammatiche e Pumping Lemma per Linguaggi Context-free.
to:
Added lines 99-100:
  • [28 marzo 15] Esercizi su grammatiche e Pumping Lemma per Linguaggi Context-free.
March 29, 2016, at 05:54 AM EST by 193.204.187.90 -
Changed lines 92-99 from:
  • [23 marzo 15] Dimostrazione Pumping Lemma per Linguaggi Context-free con esercizi.
  • [16 marzo 15] Alberi di derivazione. Relazione tra altezza di un albero e lunghezza della sua frontiera. Pumping Lemma per Linguaggi Context-free (enunciato).
to:
Added lines 100-103:
  • [23 marzo 15]Esercizi su Pumping Lemma per Linguaggi Context-free.
  • [21 marzo 15] Relazione tra altezza di un albero e lunghezza della sua frontiera. Pumping Lemma per Linguaggi Context-free (dimostrazione).
March 17, 2016, at 12:23 PM EST by 193.204.187.86 -
Added lines 101-102:
  • [16 marzo 15] Alberi di derivazione. Introduzione al Pumping Lemma per Linguaggi Context-free (enunciato).
March 15, 2016, at 11:26 AM EST by 193.204.187.86 -
Added lines 96-101:

(:ifend:)

Deleted lines 102-105:

(:ifend:)

March 11, 2016, at 08:55 AM EST by 193.204.187.86 -
Changed lines 94-100 from:
  • [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.
to:
  • [16 marzo 15] Alberi di derivazione. Relazione tra altezza di un albero e lunghezza della sua frontiera. Pumping Lemma per Linguaggi Context-free (enunciato).
  • [14 marzo 15] Grammatiche context-free e grammatiche context-sensitive. Esercizi.
Changed lines 102-104 from:
  • [07 marzo 15] Linguaggi e grammatiche: definizioni. Esercitazioni su MdT.
  • [02 marzo 15] Introduzione alle grammatiche: concetto intuitivo di grammatica, albero di derivazione. Il linguaggio delle parentesi ben formate.
to:
  • [9 marzo 15] Linguaggi e grammatiche: derivazioni, correttezza di una grammatica.
  • [7 marzo 15] Linguaggi e grammatiche: definizioni. Esercitazioni su MdT.
  • [2 marzo 15] Introduzione alle grammatiche: concetto intuitivo di grammatica, albero di derivazione. Il linguaggio delle parentesi ben formate.
March 08, 2016, at 10:24 AM EST by 193.204.187.86 -
Changed lines 100-102 from:
  • [09 marzo 15] Linguaggi e grammatiche: definizioni. Esercitazioni su MdT.
to:
Added lines 102-103:
  • [07 marzo 15] Linguaggi e grammatiche: definizioni. Esercitazioni su MdT.
March 08, 2016, at 09:53 AM EST by 193.204.187.86 -
Changed line 184 from:

1 - Tracce esercizi su Macchine di Turing

to:

1 - Tracce esercizi su Macchine di Turing

March 08, 2016, at 07:31 AM EST by 193.204.187.86 -
Changed lines 47-49 from:
  • [05 marzo 15] Pubblicata nuova versione delle diapositive 1 - Introduzione.:)

(:ifend:)

to:

(:ifend:)

  • [08 marzo 15] Pubblicata nuova versione delle diapositive: Tracce esercizi su Macchine di Turing.
Changed line 184 from:

1 - Tracce esercizi su Macchine di Turing

to:

1 - Tracce esercizi su Macchine di Turing

March 03, 2016, at 04:56 AM EST by 193.204.187.86 -
Changed lines 101-102 from:
  • [04 marzo 15] Introduzione alle grammatiche: concetto intuitivo di grammatica, albero di derivazione. Il linguaggio delle parentesi ben formate.
to:
Added lines 103-104:
  • [02 marzo 15] Introduzione alle grammatiche: concetto intuitivo di grammatica, albero di derivazione. Il linguaggio delle parentesi ben formate.
March 01, 2016, at 04:55 AM EST by 193.204.187.90 -
March 01, 2016, at 04:55 AM EST by 193.204.187.90 -
Changed lines 145-147 from:
  • (Presentazione dell'insegnamento)
to:

Presentazione dell'insegnamento

  • Informazioni utili
March 01, 2016, at 04:53 AM EST by 193.204.187.90 -
Deleted line 102:
  • [29 febbraio 16] Presentazione dell'insegnamento. Implementazione dei Linguaggi di Programmazione (LdP). Problemi, Macchine di Turing e LdP.
Added lines 105-107:
  • [29 febbraio 16] Presentazione dell'insegnamento. Implementazione dei Linguaggi di Programmazione (LdP). Problemi, Macchine di Turing e LdP.
Changed lines 144-146 from:

(:if false:)

  • Presentazione del corso (download)

(:ifend:)

to:
  • (Presentazione dell'insegnamento)
March 01, 2016, at 04:21 AM EST by 193.204.187.90 -
February 18, 2016, at 12:38 PM EST by 193.204.187.90 -
Changed lines 148-162 from:

1 - (Introduzione: Macchine astratte, linguaggi di programmazione, Macchine di Turing, Introduzione alla teoria dei linguaggi formali)

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)

to:

1 - Introduzione: Macchine astratte, linguaggi di programmazione, Macchine di Turing, Introduzione alla teoria dei linguaggi formali

2 - Grammatiche e linguaggi

3 - Grammatiche CF e grammatiche CS con esercizi

4 - Linguaggi CF, pumping lemma con esercizi

5 - Grammatiche e Macchine con esercizi

6 - Automi con esercizi

7 - Linguaggi regolari con esercizi

Changed lines 178-184 from:

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)

to:

1 - Tracce esercizi su Macchine di Turing

2 - Grammatiche e linguaggi: esercizi

3 - Esempio di implementazione Macchina di Turing

4 - Esempio di implementazione FSA

Changed lines 200-204 from:

1 - Tracce Esercizi per la prima prova in itinere (download)

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

3 - Tracce esercizi sulla classificazione di linguaggi (download) \\\

to:

1 - Tracce esercizi per la prova in itinere

2 - Tracce esercizi su automi, linguaggi regolari, operazioni sui linguaggi

3 - Tracce esercizi sulla classificazione di linguaggi \\\

February 18, 2016, at 12:33 PM EST by 193.204.187.90 -
Changed line 148 from:

1 - Introduzione: 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)

February 18, 2016, at 12:28 PM EST by 193.204.187.90 -
Changed lines 165-175 from:
  • 1 - Il modello di un compilatore

  • 2 - Analizzatore lessicale

  • 3 - Tabella dei simboli
  • 4 - Evoluzione dei Linguaggi di Programmazione
  • 5 - Cenni alla programmazione orientata agli oggetti
to:

1 - Il modello di un compilatore

2 - Analizzatore lessicale

3 - Tabella dei simboli

4 - Evoluzione dei Linguaggi di Programmazione

5 - Cenni alla programmazione orientata agli oggetti

Changed lines 178-184 from:
  • 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)
to:

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)

Changed lines 200-204 from:
  • 1 - Tracce Esercizi per la prima prova in itinere (download)
  • 2 - Tracce esercizi su automi, linguaggi regolari, operazioni sui linguaggi (download)

  • 3 - Tracce esercizi sulla classificazione di linguaggi (download) \\\
to:

1 - Tracce Esercizi per la prima prova in itinere (download)

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

3 - Tracce esercizi sulla classificazione di linguaggi (download) \\\

February 18, 2016, at 12:25 PM EST by 193.204.187.90 -
Added lines 11-12:
  • Programma Preliminare
Deleted lines 13-14:
  • Programma Preliminare

(:ifend:)

Changed lines 15-18 from:
to:

(:ifend:)

February 18, 2016, at 12:24 PM EST by 193.204.187.90 -
Changed lines 11-13 from:
to:

(:if false:)

  • Programma Preliminare

(:ifend:)

Added lines 15-18:
Changed lines 153-163 from:
  • 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)
to:

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)

February 18, 2016, at 12:20 PM EST by 193.204.187.90 -
Changed lines 125-126 from:

Per sostenere la prova di ciascun appello occorre prenotarsi OBBLIGATORIAMENTE mediante il sistema Esse3. Gli studenti che hanno superato la prova in itinere DEVONO prenotarsi per il PER L'APPELLO DI GIUGNO se intendono avvalersi dell'esonero.

to:
  • Per sostenere la prova di ciascun appello occorre prenotarsi OBBLIGATORIAMENTE mediante il sistema Esse3.
  • Gli studenti che hanno superato la prova in itinere DEVONO prenotarsi per il PER L'APPELLO DI GIUGNO se intendono avvalersi dell'esonero.
February 18, 2016, at 12:18 PM EST by 193.204.187.90 -
Changed lines 145-146 from:
  • 1 - Introduzione: 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 (download)

Changed lines 187-188 from:

Eclipse\\\

to:

Eclipse

Added line 190:
Added line 192:
February 18, 2016, at 12:17 PM EST by 193.204.187.90 -
Changed line 201 from:

\\\\\

to:

\\\

Changed line 203 from:

\\\\\

to:

\\\

February 18, 2016, at 12:16 PM EST by 193.204.187.90 -
Changed lines 172-174 from:



to:
Deleted lines 182-183:

\\\

February 18, 2016, at 12:13 PM EST by 193.204.187.90 -
February 18, 2016, at 12:12 PM EST by 193.204.187.90 -
Deleted line 117:

\\\

Deleted line 122:

\\\

Deleted line 127:

\\\

February 18, 2016, at 12:11 PM EST by 193.204.187.90 -
February 18, 2016, at 12:11 PM EST by 193.204.187.90 -
Deleted line 118:
Deleted line 128:
February 18, 2016, at 12:10 PM EST by 193.204.187.90 -
Changed line 175 from:
  • 5 - * Cenni alla programmazione orientata agli oggetti
to:
  • 5 - Cenni alla programmazione orientata agli oggetti
February 18, 2016, at 12:08 PM EST by 193.204.187.90 -
Added line 25:

\\\

Changed line 27 from:

\\\

to:
February 18, 2016, at 12:08 PM EST by 193.204.187.90 -
Added line 26:

\\\

February 18, 2016, at 12:07 PM EST by 193.204.187.90 -
February 18, 2016, at 12:07 PM EST by 193.204.187.90 -
Changed lines 12-13 from:
  • [[http://www.uniba.it/ricerca/dipartimenti/informatica/didattica/corsi-di-laurea/informatica-icd-taranto-270/programmi-2015-16/LinguaggidiprogrammazioneICDTa.pdf

|Programma Preliminare]]

to:
  • Programma Preliminare
February 18, 2016, at 12:04 PM EST by 193.204.187.90 -
Added lines 1-227:

Linguaggi di Programmazione
CdL in Informatica e Comunicazione Digitale - Sede di TARANTO
A.A. 2015-16



Docente: Marco de Gemmis




  • [[http://www.uniba.it/ricerca/dipartimenti/informatica/didattica/corsi-di-laurea/informatica-icd-taranto-270/programmi-2015-16/LinguaggidiprogrammazioneICDTa.pdf

|Programma Preliminare]]







Avvisi (:if false:)

  • [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.:)

(:ifend:)

  • [17 febbraio 16] Le lezioni avranno inizio il 29 febbraio 2016.









Diario

(:if false:)

  • [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.
  • [29 febbraio 16] Presentazione dell'insegnamento. Implementazione dei Linguaggi di Programmazione (LdP). Problemi, Macchine di Turing e LdP.

(:ifend:)





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.
  • Prova intermedia (durante l'insegnamento) - E' prevista una prova scritta intermedia, articolata su una specifica parte del programma indicata dal docente.

Valutazione ed esito delle prove

  • Prova d'appello: valutazione in trentesimi. La prova è superata con un minimo di 18/30.
  • Prova intermedia: valutazione in trentesimi. La prova intermedia è superata con un minimo di 16/30, conseguito svolgendo correttamente almeno uno dei quesiti. Il superamento della prova intermedia esonera lo studente dallo svolgimento di una parte della prova finale, LIMITATAMENTE ALL'APPELLO DI GIUGNO. La valutazione COMPLESSIVA è la media delle valutazioni riportate nella prova intermedia ed in quella d'appello. 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).
  • La prova in itinere è valida SOLO PER L'APPELLO DI GIUGNO.



Prenotazioni

Per sostenere la prova di ciascun appello occorre prenotarsi OBBLIGATORIAMENTE mediante il sistema Esse3. Gli studenti che hanno superato la prova in itinere DEVONO prenotarsi per il PER L'APPELLO DI GIUGNO se intendono avvalersi dell'esonero.



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



(:if false:)

  • Presentazione del corso (download)

(:ifend:)

Teoria dei linguaggi formali

  • 1 - Introduzione: Macchine astratte, linguaggi di programmazione, Macchine di Turing, Introduzione alla teoria dei linguaggi formali (download)
  • 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

  • 1 - Il modello di un compilatore

  • 2 - Analizzatore lessicale

  • 3 - Tabella dei simboli
  • 4 - Evoluzione dei Linguaggi di Programmazione
  • 5 - * Cenni alla programmazione orientata agli oggetti



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)

  • 3 - Tracce esercizi sulla classificazione di linguaggi (download)









Risultati Appelli e Prove Intermedie (:if false:)

  • Risultati I prova in itinere (vedi risultati)
  • Risultati II prova in itinere (vedi risultati)
  • Risultati prova 18-06-2015 (vedi risultati)

(:ifend:)









Altri Link Utili