Corso di Linguaggi di Programmazione e Compilatori  
  A.A. 2008/2009  
  (sede di Ascoli Piceno)  
Informazioni |  Obiettivi |  Contenuti |  Materiale |  Esame
 
News:
  01 marzo 2010 Alla sezione Risultati sono disponibili i risultati dell'ultimo appello. Luogo e data riconsegna compiti saranno comunicati a breve.
  04 febbraio 2010 Alla sezione Risultati sono disponibili i risultati dell'ultimo appello. Luogo e data riconsegna compiti saranno comunicati a breve.
  26 dicembre 2009 Alla sezione Risultati sono disponibili i risultati dell'ultimo appello. Riconsegna compiti e registrazione avverranno il prossimo 13 gennaio alle ore 10.
  03 ottobre 2009 Alla sezione Risultati sono disponibili i risultati dell'ultimo appello. Riconsegna compiti e registrazione avverranno il prossimo 7 ottobre alle ore 10.
  19 settembre 2009 Alla sezione Risultati sono disponibili i risultati dell'ultimo appello. Riconsegna compiti e registrazione avverranno il prossimo 25 settembre alle ore 10.
  28 luglio 2009 Sono state definite le date degli appelli di esame per il mese di settembre.
  21 luglio 2009 E' stata caricata una nuova versione del testo del progetto per correggere un'imperfezione nell'esempio mostrato. Scarica qui il testo del nuovo progetto.
  21 luglio 2009 Alla sezione Risultati sono disponibili i risultati dell'ultimo appello. Riconsegna compiti e correzione avverrano il prossimo lunedì 27 luglio alle ore 10.
  16 luglio 2009 ATTENZIONE: Causa spostamento al pomeriggio dell'altro impegno l'appello del 20 p.v. è di nuovo fissato alle ore 10
  10 luglio 2009 ATTENZIONE: I compiti dello scorso appello saranno disponibili in segreteria a partire da mercoledì prossimo.
  10 luglio 2009 ATTENZIONE: A causa di un impegno non prorogabile l'appello del 20 luglio è spostato al pomeriggio alle ore 15.30
  06 luglio 2009 Alla sezione Risultati sono disponibili i risultati dell'ultimo appello
  30 giugno 2009 Il testo del progetto è stato rivisto per correggere alcune imperfezioni che rendevano la grammatica non capace di generare l'esempio di programma. Grazie agli studenti Trenta e Virgili per aver fatto notare alcuni errori nel testo. Scarica qui il testo del nuovo progetto.
  29 Maggio 2009 Per la documentazione JavaCC accedete qui. Per istallare il plug-in dentro eclipse usare il sito "http://eclipse-javacc.sourceforge.net/"
  29 Maggio 2009 Nalla sezione Materiale sono stati aggiunti i testi dei compiti degli appelli passati
  25 Maggio 2009 Scarica qui il testo del progetto
  25 Maggio 2009 Il prossimo Giovedì 28 maggio si terrà una lezione di recupero nel pomeriggio dalle ore 14.30 alle ore 17.30
  25 Maggio 2009 Nella sezione Esami sono riportate le date di esame per la prossima sessione estiva.
  29 Aprile 2009 Attenzione la prossima lezione del 7 maggio si svolgerà il giorno 6 maggio con lo stesso orario. La lezione del 14 maggio non ci sarà causa impegni e sarà recuperata in data da definire.
  30 Marzo 2009 Attenzione la prossima lezione del 2 aprile non si terrà e sarà recuperata in data da definire
  16 Marzo 2009 Causa impegni la prossima lezione del 19 marzo si terrà nel pomeriggio a partire dalle 15 (quarto d'ora accademico dalle 14.45)
  1 Marzo 2009 La pagina del corso รจ on-line
Informazioni
  Docente: Andrea Polini
  Orario delle Lezioni: Giovedì dalle 10 alle 13
  Orario Ricevimento: Giovedì dalle 14 alle 15
Obiettivi
Contenuti
  Contenuti del Corso
 
  • Struttura generale di un compilatore e descrizione delle fasi principali
  • Linguaggi Concetti Base
    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
    1. Automi a stati finiti deterministici
    2. Automi a stati finiti non deterministici
    3. Relazioni tra ASFD, ASFND e grammatiche di tipo 3
    4. Espressioni regolari
    5. Espressioni regolari e linguaggi regolari
    6. Proprietà di chiusura dei linguaggi regolari
    7. Teorema di Myhill-Nerode
    8. Minimizzazione di Automi a Stati finiti
  • La fase di analisi lessicale
    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. Generazione di un analizzatore lessicale con JavaCC
  • Linguaggi liberi dal contesto
    1. Ambiguità delle grammatiche
    2. Proprietà di chiusura dei linguaggi non contestuali
    3. Automi a pila ed accettazoione per stato finale e per pila vuota)
    4. Equivalenze tra le due tipologie di Automi a pila
    5. Automi a pila deterministici
  • La fase di analisi sintattica
    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. Fattorizzazione sinistra e Ricorsione sinistra
    6. Grammatiche LL(1) - LL(k)
    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
    13. Generazione di un analizzatore sintattico con JavaCC
  • La fase di analisi Semantica
    1. Sintassi Astratta
    2. Azioni Semantiche
Materiale didattico
  Testo di Riferimento: [ALS] Alfred V. Aho, Monica S. Lam, Ravi Sethi, Jeffrey D. Ullman, "Compilers - principles, techniques & tools", 2nd Edition - Pearson Education
  Testi di Consultazione: [ADG] Giorgio Ausiello, Fabrizio D'Amore, Giorgio Gambosi, "Linguaggi, Modelli, Complessità" - Franco Angeli Editore
    [App] Andrew W. Appel, "Modern Compiler Implementation in Java", 2nd Edition - Cambridge University Press
     
  Materiale di Supporto Scarica i compiti degli appelli passati
Esame
  Date prossimi appelli: Lunedì, 7 settembre 2009 - ore 10.00
  Venerdì, 25 settembre 2009 - ore 10.00
  Modalità di esame: L'esame consisterà di una prova scritta obbligatoria contenente almeno due esercizi e di un orale facoltativo sui contenuti del corso. Prima della registrazione sarà poi necessario consegnare e discutere un progetto JavaCC
Iscrizione all'esame: L'iscrizione all'esame potrà avvenire esclusivamente in forma elettronica attraverso la pagina web dell'università oppure, nel caso vi fossero problemi con la procedura on-line, inviando richiesta al docente utilizzando tassativamente indirizzi e-mail istituzionali (dominio unicam)
Risultati Ultimo Appello
Scarica qui i risultati dell'ultimo appello
Università degli Studi di Camerino - Corso di Linguaggi di Programmazione e Compilatori - A.A. 2008/2009