Definire tramite una grammatica ad attributi il

Transcript

1 1 ESERCIZI ESERCIZIO 1 Definire tramite una grammatica ad attributi il linguaggio L = {a n b n c n n 0} Implementare un analizzatore sintattico/ semantico a discesa ricorsiva Costruire le tabelle di analisi sintattico/ semantico per un analizzatore ascendente per il linguaggio L Mostrare le configurazioni per l analisi delle seguenti frasi aabbcc aabcc abcc 2

2 2 Stack Frase Azione $0a abcc spostamento $0a2 bcc R2 A-> n.a=0 $0a2{A,0}5 bcc R1 A0->aA1 n.a0=1+na1 $0{A,1}1 bcc spostamento $0{A,1}1b4 cc R4 B-> n.b=0 $0{A,1}1b4{B,0}8 cc R3 B0->bB1 nb0=1+nb1 $0{A,1}1{B,1}3 cc spostamento $0{A,1}1{B,1}3c7 c spostamento $0{A,1}1{B,1}3c7c7 $ R6 C-> n.c=0 $0{A,1}1{B,1}3c7c7{C,0}9 $ R5 C0->cC1 nc0=1+nc1 $0{A,1}1{B,1}3c7{C,1}9 $ R5 C0->cC1 nc0=1+nc1 $0{A,1}1{B,1}3{C,2}6 $ ACC $0{S,False} 3 ESERCIZIO 2 Definire tramite una grammatica ad attributi il linguaggio L = {a n b n c n/2 d 2n n 0} Implementare un analizzatore sintattico/ semantico a discesa ricorsiva Costruire le tabelle di analisi sintattico/ semantico per un analizzatore LALR per il linguaggio L Mostrare le configurazioni per l analisi delle seguenti frasi aabbcc aabcc abcc 4

3 ESERCIZIO 3 Definire una grammatica ad attributi che dato in ingresso un numero in base 2 generi la stringa che rappresenta il valore in base 8 Costruire le tabelle goto e action per l analisi sintattico/semantico del linguaggio definitio< 5 ESERCIZIO 4 Si definisca il linguaggio degli assegnamenti di espressioni intere e relazionali a variabili di tipo intero e booleano rispettivamente. Le espressioni intere sono espressioni contenente l operatore * e le parentesi. Le espressioni relazionali sono costituite dal confronto (==) di espressioni intere. Si supponga di avere nella tabella dei simboli il tipo di ogni identificatore. Si scriva uno schema per l analisi ascendente deterministica che verifichi la compatibilità dei tipi e restituisca il tipo dell escpressione o errore nel caso di incompatibilita dei tipi. 6 3

4 ESERCIZIO 5 Si definisca il linguaggio L = {ww w (0,1)*} utilizzando solo attributi di tipo intero e booleano Si implementi un analizzatore sintattico semantico per tale linguaggio 7 ESERCIZIO 6 Si definisca il linguaggio L delle parentesi sulle stringhe appartenenti al linguaggio universale (a b)* Un esempio di frase è (abb; ab; (aab; aba; )abbb; ()a; aa; ) Si costruisca una grammatica ad attributi tale per cui il linguaggio generato coincide con le stringhe di L(G) per le quali tutti gli identicatori (cioè le stringhe di a e di b) che si trovano allo stesso livello di annidamento siano distinti Ad esempio la frase precedente e corretta mentre la seguente non lo è (abb; ab; (aab; aba;)abbb; (aab; )a; aa; ) in quanto vi sono due sottostringhe aab allo stesso livello di annidamento (il secondo) 8 4

5 5 DEFINIZIONE GRAMMATICA E ATTRIBUTI S (S) S S T ; S S T a T T b T T La soluzione fa uso di 2 attributi ereditati: Env of S ha come valore un insieme di coppie (identif icatore. Livello) lev of S è un numero naturale che rappresenta il livello di annidamento Vi sono poi gli attributi sintetizzati a of S che può o assumere un valore booleano che denota la correttezza semantica di una frase upd of S che contiene una coppia (identif icatore. livello) val of T che e la stringa associata a un identicatore Env of S e inizializzato con l insieme vuoto e lev of S con il numero zero 9 GRAMMATICA AD ATTRIBUTI S 0 (S 1 ) S 2 lev of S 1 = lev of S lev of S 2 = lev of S 0 env of S 1 = env of S 0 env of S 2 = env of S 0 upd of S 1 { upd of S 0 = upd of S 1 upd of S 2 a of S 0 = a of S 1 && a of S 2 S 0 T ; S 1 lev of S 1 = lev of S upd of T = {(val of T, lev of S 0 )} env of S 1 = env of S 0 upd of T upd of S 0 = upd of S 1 {(val of T, lev of S 0 )} a of S 0 = a of S 1 && (val of T, lev of S 0 ) env of S 0 S upd of S = 0 a of S = True T 0 a T 1 val of T 0 = a val of T 1 T 0 b T 1 val of T 0 = b val of T 1 T val of T 0 = 10

6 6 ESERCIZIO 7 Si deve calcolare per mezzo di una grammatica ad attributi il valore scritto come una frazione di una espressione di numeri frazionari Ad esempio 1. ¼ + 2/5 + (1/2 + 3)/8 =348/ /3 + (1/2 + 3/4)/(1/4+1) =220/ (½ +3)/0 =indefinito L espressione può contenere i numeri interi, gli operatori + e / e le parentesi Si progettino la sintassi del linguaggio gli attributi semantici e le regole semantiche per il calcolo dell attributo valore espresso in modo frazionario- Si disegni l albero semantico decorato per il secondo esempio mostrato- Si indichi quale tecnica di valutazione degli attributi e possibile impiegare 11