Linguaggi di Programmazione + Laboratorio
CdL in Informatica - sede di Bari
A.A. 2012-2013
Docenti:
Giovanni Semeraro
Pasquale Lops
- Programma Preliminare
- Avvisi
- Modalità d'Esame
- Materiale Didattico
- Tracce d'Esame
- Risultati
- Tutoraggio
- Link Utili
- [27 febbraio 2013] Inizio del corso
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.
Prenotazioni
Per sostenere le prove di ciascun appello occorre OBBLIGATORIAMENTE prenotarsi.
Le prenotazioni all'esame (scritto e orale) avvengono OBBLIGATORIAMENTE mediante l'uso del sistema ESSE3.
Materiale Didattico
- Introduzione (27/02/2013) (Pubblicato il 2 Marzo 2013)
- Macchine astratte (01/03/2013) (Pubblicato il 2 Marzo 2013)
Grammar Reader
- Dispensa (Pubblicato il 16 Marzo 2013)
- Codice Sorgente (Pubblicato il 16 Marzo 2013)
- Esercizi proposti (Pubblicato il 16 Marzo 2013)
- Approfondimenti per il laboratorio (Pubblicato il 16 Marzo 2013)
Automi Riconoscitori e Analizzatore Lessicale
- Implementazione di automi riconoscitori in C (dispensa+codice) (Pubblicato il 9 Maggio 2013)
- Analizzatore Lessicale (Pubblicato il 9 Maggio 2013)
- Implementazione di uno scanner (dispensa+codice+file di test) (Pubblicato il 9 Maggio 2013)
- Tabella dei simboli (Pubblicato il 9 Maggio 2013)
Introduzione ai Linguaggi di Programmazione e ai Compilatori
- Il Modello di un Compilatore (Pubblicato il 16 Maggio 2013)
- Evoluzione dei Linguaggi (Pubblicato il 16 Maggio 2013)
- Linguaggi di Programmazione e Cenni alla Semantica (Pubblicato il 16 Maggio 2013)
Strumenti di Sviluppo
- Ambiente di Sviluppo DevC++ 4 (download)
- Prima prova di autovalutazione a.a. 2005-06 (download)
- Seconda prova di autovalutazione a.a. 2005-06 (download)
- Tracce Appelli Precedenti (download)
- Tracce di laboratorio appelli 2005-2006 (download)
- Tracce di laboratorio appelli 2004-2005 (download)
- Soluzioni Tracce di laboratorio appello 20 giugno 05 (traccia 2) (download)
- Soluzioni Tracce di laboratorio appello 11 luglio 05 (traccia 1) (download)
- Soluzioni Tracce di laboratorio appello 11 luglio 05 (traccia 2) (download)
- Tracce prova scritta appelli 2004-2005 (download)
- Soluzione traccia scritta 13 luglio 2005 (download)
- Tracce prove scritte appelli 2005-2006 (download)
Riguardare i risultati perchè erano presenti alcune imprecisioni.
- Risultati II prova in itinere del 31 Maggio 2013
- Risultati prova scritta del 18 Giugno 2013
- Risultati prova scritta del 25 Giugno 2013
- Risultati prova scritta del 2 Luglio 2013
- Risultati prova scritta del 3 Settembre 2013
- Risultati prova scritta del 17 Settembre 2013
- Risultati prova scritta del 19 Novembre 2013
- Risultati prova scritta del 4 Febbraio 2014
- ESERCITAZIONI
- ESERCIZI SVOLTI
- Esercizi svolti sul Pumping Lemma per Linguaggi Regolari
- Esercizio 1 (Pubblicato il 08 ottobre 2012)
- Esercizio 2 (Pubblicato il 08 ottobre 2012)
- Esercizio 3 (Pubblicato il 08 ottobre 2012)
- Esercizio 4 (Pubblicato il 08 ottobre 2012)
- Esercizio 5 (Pubblicato il 08 ottobre 2012)
- Esercizio 6 (Pubblicato il 08 ottobre 2012)
- Esercizio 7 (Pubblicato il 08 ottobre 2012)
- Esercizio 8 (Aggiornato causa refuso il 31 ottobre 2012)
- Esercizio 9 (Pubblicato il 08 ottobre 2012)
- Esercizio 10 (Pubblicato il 08 ottobre 2012)
- Esercizio 11 (Pubblicato il 08 ottobre 2012)
- Esercizio 12 (Pubblicato il 08 ottobre 2012)
- Esercizio 13 (Pubblicato il 08 ottobre 2012)