Analisi sintattica

More documents

Recommendations

Info

Esempio T = { Ambiguita (, ), id , + , * , / , -} V = {E} E → E + E E → E – E •E Una → E grammatica * E è ambigua se esistono più alberi sintattici per la stessa E → E frase. / E E E → -E E + E E E → ⇒( E E+E ) ⇒ id+E ⇒ id+E*E E → ⇒id id+id*E ⇒ id+id*id id E * E E ⇒ E*E ⇒ E+E*E ⇒ id+E*E ⇒ id+id*E ⇒ id+id*id E + id E E * E E id id id id Per poter costruire un parser la grammatica non deve essere ambigua Grammatica non ambigua ∃ un unico albero sintattico per ogni frase del linguaggio Le ambiguità nella grammatica devono essere eliminate durante il progetto del compilatore 10
Ambiguità istr → if expr then istr | if expr then istr else istr | otheristrs istr if E 1 then if E 2 then S 1 else S 2 if expr then istr else istr E 1 if expr then istr S 2 1 E 2 Ambiguità S 1 istr if expr then istr E 1 if expr then istr else istr E 2 S 1 S • Noi preferiamo il secondo albero sintattico (else corrisponde al if più vicino). • Dobbiamo eliminare l’ambiguità con tale obiettivo • La grammatica non-ambigua sarà: istr → matchedistr | unmatchedistr matchedistr → if expr then matchedistr else matchedistr | otheristrs unmatchedistr → if expr then istr | if expr then matchedistr else unmatchedistr 2 11
Page 1 and 2: Analisi sintattica Analisi sintatti
Page 3 and 4: Grammatiche non contestuali: svanta
Page 5 and 6: E ⇒ E+E Derivazioni E+E deriva d
Page 7 and 8: CFG - Terminologia L(G) è il ling
Page 9: Parser Esempio: Consideriamo l’an
Page 13 and 14: Immediate Left-Recursion A → A α
Page 15 and 16: Esempio S → Aa | b A → Ac | Sd
Page 17 and 18: Algoritmo Per ogni non-terminale A
Page 19 and 20: Le frasi possono essere analizzate
Page 21 and 22: Definzione di First(α) Data una gr
Page 23 and 24: Esempio T = {a, (, ), +, ","} V = {
Page 25: T = {a, b, c, d, e} V = {A, B, C, D

Analisi sintattica

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?