* Traccia prova scritta 13-09-2010 [[http://www.di.uniba.it/~swap/uploads/Corsi/LP/traSET2010-1.pdf|(download)]]

*'''[12 maggio 2010]''' Gli studenti fuori corso che intendono sostenere gli appelli di giugno e luglio sono pregati di prenotarsi tramite il sistema online e di contattare il docente per discutere le modalità di svolgimento della prova.

*'''[12 maggio 2010]''' Gli studenti fuori corso che intendono sostenere gli appelli di giugno e luglio sono pregati prenotarsi tramite il sistema online e di contattare il docente per discutere le modalità di svolgimento della prova.

* Traccia prova scritta 12-02-2010 [[http://www.di.uniba.it/~swap/uploads/Corsi/LP/tra12022010.pdf|(download)]]

* Traccia prova scritta 26-02-2010 [[http://www.di.uniba.it/~swap/uploads/Corsi/LP/tra26022010.pdf|(download)]]

* Traccia prova scritta 26-02-2010 [[http://www.di.uniba.it/~swap/uploads/Corsi/LP/tra29012010.pdf|(download)]]

* 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.

* 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.

* 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.

*'''[10 febbraio 2010]''' Pubblicati risultati della prova di laboratorio del 04 febbraio.

* Risultati della prova di laboratorio del 04 febbraio 2010 [[http://www.di.uniba.it/~swap/uploads/Corsi/LP/risFEB2010.PDF|(download)]]

* Traccia prova scritta 29-01-2010 [[http://www.di.uniba.it/~swap/uploads/Corsi/LP/tra29012010.pdf|(download)]]

*'''[25 gennaio 2010]''' Pubblicati risultati della prova di laboratorio del 21 gennaio.

* Risultati della prova di laboratorio del 21 gennaio 2010 [[http://www.di.uniba.it/~swap/uploads/Corsi/LP/risGEN2010-2.PDF|(download)]]

* Tracce prove in itinere [[http://www.di.uniba.it/~swap/uploads/Corsi/LP/exitinere.zip|(download)]] [--(Pubblicato il 19 Gennaio 2010)--]

*'''[15 gennaio 2010]''' Martedì 19 gennaio in mattinata sarà possibile avere spiegazioni sull'esito della prova di laboratorio del 7 gennaio.

*'''[14 gennaio 2010]''' Pubblicati risultati della prova di laboratorio del 7 gennaio.

* Risultati della prova di laboratorio del 07 gennaio 2010 [[http://www.di.uniba.it/~swap/uploads/Corsi/LP/risGEN2010.pdf|(download)]]

*'''[28 dicembre 09]''' Pubblicati risultati della seconda prova in itinere.

*'''[22 dicembre 09]''' Seconda prova in itinere.

* Risultati della seconda prova in itinere [[http://www.di.uniba.it/~swap/uploads/Corsi/LP/risitinere2.pdf|(download)]]

*'''[17 dicembre 09]''' Aggiornata sezione sulle modalità di svolgimento delle prove d'esame.

* Prova di laboratorio - All'elaborato è assegnato un giudizio, secondo la seguente scala di valutazione, in ordine decrescente: OTTIMO, BUONO, DISCRETO, SUFFICIENTE, QUASI SUFFICIENTE, INSUFFICIENTE. Se la valutazione è almeno SUFFICIENTE, la prova è superata e si è ammessi a sostenere la prova scritta. Se la valutazione è QUASI SUFFICIENTE, la prova è superata con riserva, per cui si può sostenere la prova scritta, anche se è sconsigliato. Un elaborato INSUFFICIENTE è affetto da errori che evidenziano lacune teorico-pratiche nella preparazione. In questo caso, si consiglia di rivedere l'elaborato con il docente durante il ricevimento studenti.

* Prova di laboratorio - La prova superata è valida per gli appelli da gennaio a settembre di un 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.

* Prova di laboratorio - Si consegna obbligatoriamente il codice C++ (sorgente+eseguibile) del Grammar Reader ed eventualmente di uno o più automi a stati finiti. Il codice va inviato per posta elettronica al docente entro la data della prova di laboratorio che si intende sostenere.

* Prova di laboratorio - All'elaborato è assegnato un giudizio, secondo la seguente scala di valutazione, in ordine decrescente: OTTIMO, BUONO, DISCRETO, SUFFICIENTE, QUASI SUFFICIENTE, INSUFFICIENTE.
Se la valutazione è almeno SUFFICIENTE, la prova è superata e si è ammessi a sostenere la prova scritta. Se la valutazione è QUASI SUFFICIENTE, la prova è superata con riserva, per cui si può sostenere la prova scritta, anche se è sconsigliato. Un elaborato INSUFFICIENTE è affetto da errori che evidenziano lacune teorico-pratiche nella preparazione. In questo caso, si consiglia di rivedere l'elaborato con il docente durante il ricevimento studenti.

* Prova scritta - La valutazione della prova è in trentesimi. La prova è superata con un minimo di 16/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 - Si consegna obbligatoriamente il codice C++ del Grammar Reader ed eventualmente di uno o più automi a stati finiti. Il codice va inviato per posta elettronica al docente entro la data della prova di laboratorio che si intende sostenere.

* Prova scritta - E' richiesta la soluzione di esercizi sulla teoria dei linguaggi formali. Può essere richiesta 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.

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'''

*'''[17 dicembre 09]''' Le lezioni sono terminate. Il giorno 22, alle ore 10, si terrà la seconda prova in itinere, aperta anche agli studenti che non hanno superato la prima.

*'''[17 dicembre 09]''' La tabella dei simboli. Evoluzione dei linguaggi ad alto livello. Revisione esercizi di preparazione alla II prova in itinere.

* [[http://www.di.uniba.it/~lops/linguaggi/EvoluzioneLinguaggi.zip|Evoluzione dei linguaggi]] [--(Pubblicato il 16 Dicembre 2009)--]\\\

*'''[15 dicembre 09]''' La data della seconda prova in itinere è il giorno: 22-12-2009. Sarà possibile prenotarsi fino al giorno 17-12-2009 contattando il docente a lezione. In alternativa la prenotazione può essere effettuata inviando una mail al docente entro il 17-12-2009.

*'''[15 dicembre 09]''' Il modello di compilatore. L'analizzatore lessicale.

'''[+Linguaggi di Programmazione e Compilatori+]'''

* [[http://www.di.uniba.it/~lops/linguaggi/ModelloCompilatoreStampati.pdf|Il modello di un compilatore]] [--(Pubblicato il 14 Dicembre 2009)--]\\\

* [[http://www.di.uniba.it/~lops/linguaggi/Analizzatore_lessicale_stampati.pdf|Analizzatore lessicale]] [--(Pubblicato il 14 Dicembre 2009)--]\\\

* [[http://www.di.uniba.it/~lops/linguaggi/TabellaSimboli.pdf|Tabella dei simboli]] [--(Pubblicato il 14 Dicembre 2009)--]\\\

* Tracce esercizi su linguaggi regolari, pumping lemma per linguaggi regolari, automi a stati finiti [[http://www.di.uniba.it/~swap/uploads/Corsi/LP/esercizicap5-7.pdf|(download)]] [--(Pubblicato il 7 Dicembre 2009)--]\\\

*'''[7 dicembre 09]''' Pubblicati esercizi di preparazione alla 2a prova in itinere. Pubblicato aggiornamento degli esercizi relativi a linguaggi liberi da contesto.

* Tracce esercizi su grammatiche libere da contesto e pumping lemma per linguaggi liberi da contesto [[http://www.di.uniba.it/~swap/uploads/Corsi/LP/esercizicap1-4.pdf|(download)]] [--(Aggiornato il 7 Dicembre 2009)--]\\\

* Tracce esercizi su grammatiche libere da contesto e pumping lemma per linguaggi liberi da contesto [[http://www.di.uniba.it/~swap/uploads/Corsi/LP/esercizicap5-7.pdf|(download)]] [--(Pubblicato il 7 Dicembre 2009)--]\\\

*'''[3 dicembre 09]''' Esercizi su linguaggi regolari. Laboratorio: Implementazione di automi a stati finiti.

*'''[1 dicembre 09]''' Linguaggi regolari, espressioni regolari, teorema di Kleene. Laboratorio: Grammar Reader in C++.

Tavola relativa alle proprietà di chiusura dei linguaggi, elenco delle proprietà delle espressioni regolari.

'''[+Automi a stati finiti+]'''

* [[http://www.di.uniba.it/~lops/linguaggi/DFA.zip|Implementazione di automi riconoscitori in C (dispensa +codice)]] [--(Pubblicato il 4 Dicembre 2009)--]\\\

*'''[27 novembre 09]''' La lezione del giorno 10 dicembre 2009 non si terrà causa missione.

*'''[26 novembre 09]''' Automi a stati finiti: esercizi. Linguaggi regolari, espressioni regolari, teorema di Kleene. Laboratorio: Grammar Reader in C++.

'''[+Grammar Reader+]'''

* [[http://www.di.uniba.it/~lops/linguaggi/GrammarReader.pdf|Dispensa]]
* [[http://www.di.uniba.it/~lops/linguaggi/GrammarReader.c|Codice Sorgente in C]] [--(Pubblicato il 25 Novembre 2009)--]
* [[http://www.di.uniba.it/~lops/linguaggi/EserciziGrammarReader.pdf|Esercizi proposti]] [--(Pubblicato il 25 Novembre 2009)--]\\\

*'''[26 novembre 09]''' Automi a stati finiti: esercizi.
Linguaggi regolari, espressioni regolari, teorema di Kleene.
Laboratorio: Grammar Reader in C++.

*'''[24 novembre 09]''' Automi a stati finiti non deterministici. Laboratorio: Grammar Reader in C++.

*'''[19 novembre 09]''' Esercizi su proprietà di chiusura. Automi a stati finiti deterministici.

*'''[17 novembre 09]''' Analisi della prima prova in itinere. Laboratorio: dal Grammar Reader in linguaggio C a quello in C++.

*'''[12 novembre 09]''' Prima prova in itinere.

*'''[09 novembre 09]''' Grammatiche e macchine: Altri teoremi di chiusura, operazione di riflessione. Laboratorio: il Grammar Reader in linguaggio C.

*'''[05 novembre 09]''' Grammatiche e macchine: Teorema di chiusura e relativa dimistrazione.

*'''[03 novembre 09]''' Esercizi di preparazione alla 1a prova in itinere. Ambiguità di grammatiche context-free. Grammatiche e macchine: la gerarchia di Chomsky.

*'''[29 ottobre 09]''' Esercizi su linguaggi liberi da contesto.

*'''[27 ottobre 09]''' Linguaggi liberi da contesto: alberi di derivazione, pumping lemma. Esercizi.

*'''[15 ottobre 09]''' Linguaggi liberi da contesto e linguaggi dipendenti dal contesto.

*'''[13 ottobre 09]''' Grammatiche e linguaggi (seconda parte). Esercizi.

*'''[08 ottobre 09]''' Grammatiche e linguaggi (prima parte).

* Risultati della prima prova in itinere [[http://www.di.uniba.it/~swap/uploads/Corsi/LP/risitinere1.pdf|(download)]]

*'''[09 novembre 09]''' Grammatiche e macchine: Altri teoremi di chiusura, operazione di riflessione. Laboratorio: il Grammar Reader in linguaggio C (1a parte).

*'''[12 novembre 09]''' Prima prova in itinere.

* Dispensa Grammar Reader [[http://www.di.uniba.it/~lops/linguaggi/GrammarReader.pdf|(download)]]

*'''[03 novembre 09]''' Esercizi di preparazione alla 1a prova in itinere. Ambiguità di grammatiche context-free. Grammatiche e macchine: la gerarchia di Chomsky.

*'''[05 novembre 09]''' Grammatiche e macchine: Teorema di chiusura e relativa dimistrazione.

*'''[30 ottobre 09]''' La lezione del 10 novembre 2009 è anticipata al giorno precedente, dalle 9.30 alle 14.30.

*'''[29 ottobre 09]''' La data della prima prova in itinere è il giorno: 12-11-2009. Sarà possibile prenotarsi fino al giorno 9-11-2009 contattando il docente nei giorni di lezione.

*'''[13 ottobre 09]''' Le lezioni del 20 e 22 ottobre non si terranno causa missione all'estero

*'''[03 novembre 09]''' Esercizi di preparazione alla 1a prova in itinere. Ambiguità di grammatiche context-free. Grammatiche e macchina: la gerarchia di Chomsky.

*'''[30 ottobre 09]''' La lezione del 10 novembre 2009 è anticipata al giorno precedente, dalle 9.30 alle 14.30.

* Tracce esercizi su grammatiche e pumping lemma[[http://www.di.uniba.it/~swap/uploads/Corsi/LP/exitinere1.pdf|(download)]]

*'''[29 ottobre 09]''' La data della prima prova in itinere è il giorno: 12-11-2009. Sarà possibile prenotarsi fino al giorno 9-11-2009 contattando il docente nei giorni di lezione.

*'''[15 ottobre 09]''' Linguaggi liberi da contesto e linguaggi dipendenti dal contesto.

*'''[27 ottobre 09]''' Linguaggi liberi da contesto: alberi di derivazione, pumping lemma. Esercizi.

*'''[29 ottobre 09]''' Esercizi su linguaggi liberi da contesto.

*'''[13 ottobre 09]''' Le lezioni del 20 e 22 ottobre non si terranno causa missione all'estero

*'''[13 ottobre 09]''' Grammatiche e linguaggi (seconda parte). Esercizi.

* Esercizi su grammatiche [[http://www.di.uniba.it/~swap/uploads/Corsi/LP/excapitolo2.zip|(download)]]

*'''[08 ottobre 09]''' Grammatiche e linguaggi (prima parte).

*'''[06 ottobre 09]''' Presentazione del Corso. Macchine astratte e implementazione dei linguaggi di programmazione. Introduzione alla teoria dei linguaggi formali.

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

* Presentazione del corso [[http://www.di.uniba.it/~swap/uploads/Corsi/LP/PresentazioneCorso.pdf|(download)]]
* Macchine astratte e linguaggi di programmazione [[http://www.di.uniba.it/~swap/uploads/Corsi/LP/Capitolo1.pdf|(download)]]

*[[http://informatica.di.uniba.it/laurea_dig_taranto/programmi1.php?id_insegn=2292|Programma Preliminare]]

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

Nessun esercizio disponibile al momento

Nessun risultato disponibile

Il materiale sarà reso disponibile durante lo svolgimento del corso.

L'esame consta di tre prove: prova di laboratorio, prova scritta, colloquio.
Le modalità saranno stabilite prossimamente

'''Materiale utilizzabile durante le prove'''
da stabilire

da stabilire

da stabilire

*di prossima pubblicazione
\\\
Attach:Main/linea.gif
\\\\\

*[[#Programma|Programma Preliminare]]

'''[[#Programma]]'''

\\\

'''[++Programma Preliminare++]'''

'''[[#Programma Preliminare]]'''

*[[#Programma Preliminare|Programma Preliminare]]

'''[++Programma preliminare++]'''
'''[[#Programma preliminare]]'''
\\\\\

'''[++Linguaggi di Programmazione++]'''\\
''[++CdL in Informatica e Comunicazione Digitale - Sede di TARANTO++]''\\
''[++A.A. 2009-10++] ''


\\\
'''Docente: '''[[http://www.di.uniba.it/~swap/index.php?n=Membri.Degemmis | Marco de Gemmis]]
\\\
Attach:Main/linea.gif
\\\\

*[[http://informatica.di.uniba.it/laurea_dig_taranto/programmi1.php?id_insegn=1951|Programma Preliminare]]
*[[#Avvisi|Avvisi]]
*[[#Diario|Diario]]
*[[#Modalita|Modalità d'Esame]]
*[[#Materiale|Materiale Didattico]]
*[[#Tracce|Esercizi & Tracce d'Esame]]
*[[#Risultati|Risultati]]
*[[#Link|Link Utili]]
\\\
Attach:Main/linea.gif
\\\\\
'''[++Avvisi++]'''
'''[[#Avvisi]]'''
\\\

*'''[06 ottobre 09]''' Inizio del corso
\\\\\
Attach:Main/linea.gif
\\\\\
'''[++Diario++]'''
'''[[#Diario]]'''
\\\


Attach:Main/linea.gif
\\\\\
'''[++Modalità d'Esame++]'''
'''[[#Modalita]]'''
\\\

\\\
'''Materiale utilizzabile durante la prova'''

\\\
'''Valutazione ed esito della prova'''

\\\
'''Validità della prova'''

\\\
'''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.
\\\\\
Attach:Main/linea.gif
\\\\\
'''[++Materiale Didattico++]'''
'''[[#Materiale]]'''
\\\
'''[+Trasparenze utilizzate a lezione+]'''

Per il materiale protetto da password, contattare il docente

\\\

'''[+Strumenti di Sviluppo+]'''

* Ambiente di Sviluppo [[http://www.bloodshed.net/dev/devcpp.html|Dev-C++ 4.9.9.2]]
\\\\\
Attach:Main/linea.gif
\\\\\
'''[++Esercizi & Tracce d'Esame++]'''
'''[[#Tracce]]'''
\\\


\\\\\
Attach:Main/linea.gif
\\\\\
'''[++Risultati delle Prove++]'''
'''[[#Risultati]]'''
\\\

\\\\\
Attach:Main/linea.gif
\\\\\
'''[++Link Utili++]'''
'''[[#Link]]'''
\\\

* [[http://www.bloodshed.net//|Bloodshed Software]]