Corso di Linguaggi di Programmazione e Compilatori  
  A.A. 2006/2007  
  (sede di Ascoli Piceno)  
Informazioni |  Obiettivi |  Contenuti |  Materiale |  Esame
 
News:
  17 Marzo 2008: Definita data di appello per sessione di Aprile. Vai a sezione Esame
  13 Febbraio 2008: Il prossimo 15 febbraio successivamente alla prova scritta si terrà una lezione/esecitazione principalmente riferita a dimostrazioni e automi a pila. Attenzione nel caso non si presentasse nessuno all'appello la lezione si terrà nella mattina. Per questo motivo pregherei chi fosse interessato a sostenere l'esame a registrarsi quanto prima utilizzando il sistema web apposito oppure inviandomi una e-mail
  28 Gennaio 2008: Attenzione causa ponte di carnevale la data del prossimo appello è stata spostata al 15 febbraio
  18 Gennaio 2008: Il giorno 29 gennaio alle ore 10 terrò una lezione ricevimento in aula auditorium
  07 Gennaio 2008: Stò cercando di definire una data per una possibile esercitazione ad Ascoli Piceno. Al fine di massimizzare l'utilità della lezione pregherei gli studenti interessati di inviare preferenze riguardo il materiale da trattare o esercizi da svolgere.
  29 Novembre 2007: Causa impegni non mi é stato possibile mettere una data di appello prima della sessione di Febbraio. In un giorno del mese di gennaio cercherò di essere presente ad Ascoli Piceno per un ricevimento/esercitazione. Esorto comunque gli studenti che avessero dubbi e/o domande da porre, a farlo anche inviandomi una e-mail. Cercherò di rispondere il più celermente possibile.
  29 Novembre 2007: Sono state definite le date delle prove scritte per gli appelli della sessione di Febbraio
  03 Ottobre 2007: Pubblicati nella sezione Risultati i risultati della prova scritta dell'appello del 1 ottobre
  27 Luglio 2007: Sono state definite le date delle prove scritte per gli appelli della sessione di Settembre/Ottobre
Informazioni
  Docente: Andrea Polini
  Orario delle Lezioni: Lunedì dalle 11 alle 13 – Martedì dalle 15 alle 17
  Orario Ricevimento: Martedì dalle 14 alle 15
Obiettivi
Contenuti
  Contenuti del Corso
 
  • Linguaggi Concetti Base - [ADG] Cap.1,2
    1. Classificazione di Chomsky e dettagli su grammatiche di tipo 0,1,2,3
    2. epsilon-produzioni ed implicazioni sulle grammatiche di tipo 0,1,2,3
    3. Introduzione al concetto di Automa
  • Linguaggi Regolari - [ADG] Cap.3
    1. Automi a stati finiti deterministici
    2. Automi a stati finiti non deterministici
    3. Relazioni tra ASFD, ASFND e grammatiche di tipo 3
    4. Pumping Lemma per linguaggi regolari
    5. Espressioni regolari
    6. Espressioni regolari e linguaggi regolari
    7. Proprietà di chiusura dei linguaggi regolari
    8. Teorema di Myhill-Nerode
    9. Minimizzazione di Automi a Stati finiti
  • La fase di analisi lessicale - [App] Cap.2
    1. Token, pattern e lessemi
    2. Applicazione dei concetti visti nella sezione precedente all'analisi lessicale
    3. Techniche di risoluzione ed accettazione (longest match e priorità delle regole)
    4. Accenni alla generazione di un analizzatore lessicale con JavaCC
  • Linguaggi liberi dal contesto [ADG] Cap.4
    1. Forme ridotte
    2. Forma normale di Chomsky
    3. Forma normale di Greibach
    4. Equivalenza tra le varie forme normali
    5. Ambiguità delle grammatiche
    6. Pumping lemma per linguaggi non contestuali
    7. Proprietà di chiusura dei linguaggi non contestuali
    8. Automi a pila (a stato finale ed a pila vuota)
    9. Equivalenza tra le due tipologie di Automi a pila
    10. Automi a pila deterministici
  • La fase di analisi sintattica [App] Cap.3
    1. Applicazione dei concetti visti nella sezione precedente alla fase di analisi sintattica
    2. Alberi di derivazione
    3. Insiemi FIRST, FOLLOW e nullable
    4. Parsing Top-Down
    5. Grammatiche LL(1) - LL(k)
    6. Fattorizzazione sinistra e Ricorsione sinistra
    7. Parsing Bottom-up
    8. Item e Chiusura di insiemi di Item
    9. Funzione Goto ed Automa LR(0)
    10. Parser LR(0) ed SLR
    11. Automa LR(1)
    12. Parser LR(1) ed LALR
  • La fase di analisi Semantica [App] Cap.4,5
    1. Sintatti Astratta
    2. Azioni Semantiche
  • Introduzione a JavaCC [Mat]
Materiale didattico
  Testi di Riferimento: [App] Andrew W. Appel, "Modern Compiler Implementation in Java", 2nd Edition - Cambridge University Press
    [ADG] Giorgio Ausiello, Fabrizio D'Amore, Giorgio Gambosi, "Linguaggi, Modelli, Complessità" - Franco Angeli Editore
  Testi di Consultazione: [ALS] Alfred V. Aho, Monica S. Lam, Ravi Sethi, Jeffrey D. Ullman, "Compilers - principles, techniques & tools", 2nd Edition - Pearson Education
     
  Materiale di Supporto Scarica "qui" i lucidi presentati durante le lezioni
Esame
  Date prossimi appelli: Giovedì, 17 Aprile 2008 - Ore 14:00
  Modalità di esame: L'esame consisterà di una prova scritta obbligatoria contenente esercizi e dimostrazioni e di un orale facoltativo sui contenuti del corso (per gli studenti che abbiano superato la soglia di 18/30 nella prova scritta).
Iscrizione all'esame: L'iscrizione all'esame potrà avvenire esclusivamente in forma elettronica attraverso la pagina web dell'università oppure inviando richiesta al docente utilizzando tassativamente indirizzi e-mail istituzionali (dominio unicam)
Risultati Ultimo Appello
Università degli Studi di Camerino - Corso di Linguaggi di Programmazione e Compilatori - A.A. 2006/2007