語法制導的語義翻譯

1.語法文法G[E]如下所示： 

E→E+T | E-T | T 

T→T* F | T/F | F 

F→P^ F | P 

P→(E) | i 

• 要求構造出符合語義分析要求的屬性文法描述（主要寫生成四元式的部分）。

E → E + T　　　{ E.place:=newtemp ; emit(E.place , ":=" , E.place'+' , T.place) }

E → E - T　　　{ E.place:=newtemp ; emit(E.place , ":=" , E.place'-' , T.place) }

E → T　　  　   { E.place:=T.place; }

T → T *  F  　　{ T.place:=newtemp ; emit(T.place , ":=" , T.place'*' , F.place) }

T → T / F   　　{ T.place:=newtemp ; emit(T.place , ":=" , T.place'/' , F.place) }

T → F   　   　  { T.place:=F.place; }

F → P ^ F   　  { T.place:=newtemp ; emit(F.place , ":=" , P.place'^' , F.place) }

F → P   　　    { F.place:=newtemp ; emit(F.place , ":=" , P.place) }

P → ( E )　　  { P.place:=E.place }

P → i　　　    { p:=lookup(id.name);  if p<>nil then P.place:=i else error}

2.（選做）實驗三：語法制導的語義翻譯程序

要求：

• 用算符優先分析法實現如上表達式文法的語法制導翻譯過程。
• 在完成實驗二（算符優先語法分析）的基礎上，進行語義分析程序設計。
• 最終輸出與測試用例等價的四元式中間代碼序列。

如

輸入：a+b*c，則輸出

(*,b,c,T1)

(+,a,T1,T2)

輸入：b*(c+b)*d，則輸出

(*,b,c,T1)

(*,b,d,T2)

(+,T1,T2,T3)