LUCIDI E ALTRO MATERIALE
- Introduzione:
formalismi, macchine astratte, esecutori, esempio (.pdf)
- Esercizio: Compiler-Compiler
28-2-07 (.ppt)
- Lessico: automi a
stati finiti, grammatiche regolari, drivers lineari e non (.pdf)
- Esercitazione
4-2-05
- Esercizio:
trasformazione di Thompson 14-3-07 (.ppt)
- Minimizzazione (.ppt)
- Esercizio:driver
NFA 8-3-07 (.ppt)
- Strumenti: Lex, Flex,
Jlex, JFlex(.pdf) Ð applicazioni: Esercizi2011(.zip), Lessico di Semplice in lex, Lessico di Semplice in Jlex
- Sintassi: strutture
algebriche per grammatiche e linguaggi (.pdf)
- Analizzatori
discendenti: lineari, LL, automi a pila deriva (.pdf)
- Strumenti: LLPARSER
(.html)
- Analizzatori
ascendenti: lineari, automi a pila riduci, SLR, LR, LALR (.pdf)
--- aggiornamenti 2007
- Definizione dell'insieme VI dei valid items di un viable prefix e sue applicazioni ai conflitti veri e falsi (.pdf)
--- aggiornamenti 2009
- Strumenti: Yacc (.zip
archive), JavaCup (.txt)
- SLR(1) non copre
LL(1) (.pdf)
- Gerarchia LL e copertura delle LR(k) con LR(1): algoritmo e esempio
- Pumping Lemma
per grammatiche context free (.pdf)
- Grammatiche ad attributi: strutture algebriche, formalizzazione (relazioni, alberi,
grammatica ad attibuti: .pdf)
- Driver oblivious
per L-attributate (.pdf)
- Analisi statica: introduzione
e applicazioni
- Tabella Sintetizzati Ereditati: classificazione basata sulla sintassi
- Analisi di tipi: sistema
di tipi, type checking e type
inference
- Generazione di
codice -1: sorgente, oggetto, meta e attributi di base
- Generazione di codice -2:
operatori per effetti laterali, attributi di base e backpatching
- Strumenti: Yacc
(.zip archive), Bison, JavaCup (.txt)
- Generazione di codice -3: procedure e frame di
controllo, attributi di base
- Esercitazione 11/12/2009: testo soluzione
ESERCIZI
(proposti Ð risolti)
testoÐ
suggerimenti
- soluzioni