2010-11
2010-11
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:

  • 3 CFU nell'area A - Fondamenti
  • 3 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.
    • V - Varie
      Uso di strumenti che utilizzano espressioni regolari per ricerca, editing e manipolazione di testi (grep, sed, yacc).
  • D - Linguaggi
    • * LF - Linguaggi Formali
      Parsing di tipo top-down. Grammatiche e riconoscitori LL(1).
    • * TTCI - Tecniche di Traduzione: Compilatori e Interpreti
      Parsing di tipo bottom-up. Linguaggi e grammatiche LR(1). Parsing SLR.
    • * TTCI - Tecniche di Traduzione: Compilatori e Interpreti
      Struttura generale di un compilatore. Il front-end con cenni sulla generazione del codice intermedio. Strumenti di ausilio alla generazione di compilatori (Lex e Yacc).

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