Corsi.LINGTA1112 History
Hide minor edits - Show changes to markup
- [6 gennaio 12] Pubblicati risultati II prova in itinere
- Risultati II prova in itinere \\\
- [21 dicembre 11] Il modello di compilatore: approfondimento sullo scanner. Panoramica sui paradigmi di programmazione. Grammar Reader.
- [19 dicembre 11] Seconda prova in itinere.
- [20 dicembre 11] La lezione del 21/12 avrà inizio alle ore 10.45 \\\
- [14 novembre 11] Le prenotazioni per la prima prova in itinere sono DEFINITIVAMENTE chiuse
- [14 novembre 11] Le prenotazioni per la prima prova in itinere sono DEFINITIVAMENTE chiuse \\\
- [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.
- [16 dicembre 11] Pubblicato calendario II prova in itinere \\\
- [9 dicembre 11] Pubblicati risultati I prova in itinere
- Risultati I prova in itinere \\\
- Tracce esercizi su automi, linguaggi regolari, operazioni sui linguaggi (download) (Aggiornato il 23 dicembre 2010)\\\
- Tracce esercizi su automi, linguaggi regolari, operazioni sui linguaggi (download) \\\
- Tracce esercizi su automi, linguaggi regolari, operazioni sui linguaggi (download) (Aggiornato il 23 dicembre 2010)\\\
Grammar Reader
- Dispensa
- Esercizi proposti
Linguaggi di Programmazione e Compilatori
- Il modello di un compilatore
- Analizzatore lessicale
- Tabella dei simboli
- Evoluzione dei linguaggi
- [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).
- * Tracce e codice delle esercitazioni guidate
- Tracce e codice delle esercitazioni guidate
- * Tracce e codice delle esercitazioni guidate
- [23 novembre 11] Esercitazione di laboratorio n.2
- [21 novembre 11] Automi a stati finiti. Esercizi (Cap. 6).
- [16 novembre 11] Prima prova in itinere.
- Programma Preliminare
- Programma Preliminare
- [14 novembre 11] Le prenotazioni per la prima prova in itinere sono DEFINITIVAMENTE chiuse \\\
- [14 novembre 11] Pubblicato calendario prima prova in itinere Calendario I prova in itinere \\\
- [14 novembre 11] Pubblicato calendario I prova in itinere \\\
- [14 novembre 11] Pubblicato calendario prima prova in itinere Calendario I prova in itinere \\\
- Introduzione alla programmazione orientata agli oggetti (Pubblicato il giorno 11 Novembre 2011)
- [9 novembre 11] Programmazione orientata agli oggetti. Esercitazione Guidata #1 (Cap. 5).
- [7 novembre 11] Altri Teoremi di chiusura. Esercizi (Cap. 5).
- [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.
- [17 ottobre 11] Esercizi su Pumping lemma per linguaggi liberi da contesto (Cap. 4).
- [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).
- [17 ottobre 11] Esercizi su Pumping lemma per linguaggi liberi da contesto (Cap. 4).
- [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.
- Tracce esercizi su grammatiche libere da contesto e pumping lemma per linguaggi liberi da contesto (download) (Aggiornato il 17 ottobre 2011)
- [17 ottobre 11] Linguaggi liberi da contesto: Pumping lemma e sua dimostrazione. Esercizi (Cap. 4).
- [12 ottobre 11] Linguaggi liberi da contesto: alberi di derivazione, principio di sostituzione dei sottoalberi (Cap. 4).
- [10 ottobre 11] Grammatiche context-free e grammatiche context-sensitive. Esercizi.
- [26 settembre 11] Presentazione del Corso. Macchine astratte e implementazione dei linguaggi di programmazione. Introduzione alla teoria dei linguaggi formali.
- [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.
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"
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)
- Grammatiche e linguaggi (download)
- Grammatiche e linguaggi: esercizi (download)
- Presentazione del corso (download)
- Macchine astratte e linguaggi di programmazione (download)
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.
L'esame consta di due prove: prova scritta e colloquio orale.
- Colloquio orale - Discussione della prova di laboratorio e colloquio su tutto il programma svolto durante il corso.
- Colloquio orale - Discussione sulle esercitazioni di laboratorio e colloquio su tutto il programma svolto durante il corso.
- 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.
- La valutazione finale è un giudizio complessivo sulle tre prove.
- La valutazione finale è la media di quelle conseguite nelle due 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.
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.
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.
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)
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"
- 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)
- 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 I prova in itinere (Pubblicato il 22 Dicembre 2010)
Linguaggi di Programmazione
CdL in Informatica e Comunicazione Digitale - Sede di TARANTO
A.A. 2011-12
Docente: Marco de Gemmis
- Programma Preliminare
- Avvisi
- Diario
- Modalità d'Esame
- Materiale Didattico
- Esercizi & Tracce d'Esame
- Risultati
- Link Utili
- [26 settembre 11] Presentazione del Corso. Macchine astratte e implementazione dei linguaggi di programmazione. Introduzione alla teoria dei linguaggi formali.
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
- 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 I prova in itinere (Pubblicato il 22 Dicembre 2010)
- Bloodshed Software