天天看點

編譯原理之文法制導的語義翻譯

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

E→E+T | E-T | T 
T→T* F | T/F | F 
F→P^ F | P 
P→(E) | i      
  • 要求構造出符合語義分析要求的屬性文法描述(主要寫生成四元式的部分)。
E→E1+T1   {E.place:=newtemp; emit(E.place , ":=" ,E1.place,'+' , T1.place)} (+, E1.val ,T1.val,E.val) 
E→E1-T1 {E.place:=newtemp; emit(E.place , ":=" ,E1.place,'-' , T1.place)} (-, E1.val ,T1.val,E.val)
E→T1 {E.place:=T1.place;}
T→T1* F1 {T.place:=newtemp; emit(T.place , ":=" ,T1.place,'*' , F1.place)} (*, T1.val ,F1.val,T.val)
T→T1/F1 {T.place:=newtemp; emit(T.place , ":=" , T1.place,'/' , F1.place)} (/, T1.val ,F1.val,T.val)
T→F1 {T.place:=F1.place;}
F→P1^F1 {T.place:=newtemp; emit(F.place , ":=" , P1.place,'^' , F1.place)}(^, P1.val ,F1.val,F.val)
F→P1  {F.place:=newtemp; emit(F.place , ":=" , P1.place)}
P→(E1) {P.place:=E1.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)

繼續閱讀