2009
2009
Sei collegato come utente non registrato
Riepilogo dell'insegnamento: Linguaggi formali e compilazione
Informazioni generali
Corso di Laurea Informatica Percorso
CFU 6 Università MODENA e REGGIO EMILIA
Ore di didattica frontale per CFU 8 Settore Scientifico Disciplinare INF/01
   

6 cfu così ripartiti nelle aree:

  • 2 CFU nell'area A - Fondamenti
  • 4 CFU nell'area D - Linguaggi

Sillabo dell'insegnamento

  • A - Fondamenti
    • * ALF - Automi e Linguaggi Formali
      Alfabeti e linguaggi. Operazioni sui linguaggi. Espressioni e linguaggi regolari. Grammatiche generative libere dal contesto. Grammatiche lineari.
    • * ALF - Automi e Linguaggi Formali
      Algoritmi e automi. Automi finiti deterministici e non deterministici. Eliminazione del non determinismo. Dalle espressioni regolari agli automi.
  • D - Linguaggi
    • * LF - Linguaggi Formali
      Parsing di tipo bottom-up. Linguaggi e grammatiche LR(k). Parsing LR, SLR e LALR.
    • * LF - Linguaggi Formali
      Linguaggi liberi e automi a pila. Parsing di tipo top-down. Grammatiche e riconoscitori LL(1).
    • * TTCI - Tecniche di Traduzione: Compilatori e Interpreti
      Struttura di un compilatore. Analisi lessicale e analisi sintattica. Generazione del codice intermedio e ottimizzazione (cenni). Tabelle dei simboli.
    • V - Varie
      Strumenti per la realizzazione di compilatori. Semplici casi di studio di traduttori.

(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali