属性文法和语法制导翻译课件.pptxVIP

屬性文法和語法制導翻譯;6.1屬性文法;6.1屬性文法;屬性

綜合屬性：“自下而上”傳遞資訊

繼承屬性：“自上而下”傳遞資訊

在一個屬性文法中，對應於每個產生式A→?都有一套與之相關聯的語義規則，每條規則的形式為：

b:=f(c1,c2,…,ck)

這裏，f是一個函數，而且或者

1.b是A的一個綜合屬性並且c1,c2,…,ck是產生式右邊文法符號的屬性，或者

2.b是產生式右邊某個文法符號的一個繼承屬性並且c1,c2,…,ck是A或產生式右邊任何文法符號的屬性。

屬性b依賴於屬性c1,c2,…,ck。;說明

終結符只有綜合屬性，由詞法分析器提供

F→digit

digit.lexval

非終結符既可有綜合屬性也可有繼承屬性，文法開始符號的所有繼承屬性為屬性計算前的初始值。

F→digit

F.val，digit.lexval;說明

對出現在產生式右邊的繼承屬性和出現在產生式左邊的綜合屬性都必須提供一個計算規則。屬性計算規則中只能使用相應產生式中的文法符號的屬性

F→digit

F.val=digit.lexval

出現在產生式左邊的繼承屬性和出現在產生式右邊的綜合屬性不由所給的產生式的屬性計算規則進行計算，它們由其他產生式的屬性規則計算或者由屬性計算器的參數提供

語義規則所描述的工作可以包括屬性計算、靜態語義檢查、符號表操作、代碼生成等等。

;例，考慮非終結符A，B和C，其中，A有一個繼承屬性a和一個綜合屬性b，B有綜合屬性c，C有繼承屬性d。產生式A→BC可能有規則

C.d:=B.c+1

A.b:=A.a+B.c

而屬性A.a和B.c在其他地方計算;產生式

L→En

E→E1+T

E→T

T→T1*F

T→F

F→(E)

F→digit

;綜合屬性

在語法樹中，一個結點的綜合屬性的值由其子結點和它本身的屬性值確定。

使用自底向上的方法在每一個結點處使用語義規則計算綜合屬性的值

僅僅使用綜合屬性的屬性文法稱S－屬性文法;產生式

L→En

E→E1+T

E→T

T→T1*F

T→F

F→(E)

F→digit

;3*5+4n的帶注釋的語法樹;繼承屬性

在語法樹中，一個結點的繼承屬性由此結點的父結點和/或兄弟結點和其本身的某些屬性確定

用繼承屬性來表示程式設計語言結構中的上下文依賴關係很??便; 產生式 語義規則

D→TL L.in:=T.type

T→int T.type:=integer

T→real T.type:=real

L→L1,id L1.in:=L.in

? addtype(id.entry,L.in)

L→id addtype(id.entry,L.in);句子realid1，id2，id3的帶注釋的語法樹;第六章屬性文法和語法制導翻譯;6.2基於屬性文法的處理方法;6.2基於屬性文法的的處理方法;6.2.1依賴圖;對於一棵給定的語法樹，依賴圖按以下步驟構造：;;句子realid1，id2，id3的帶注釋的語法樹的依賴圖;良定義的屬性文法;屬性的計算次序;句子realid1，id2，id3的帶注釋的語法樹的依賴圖;6.2基於屬性文法的的處理方法;6.2.2樹遍曆的屬性計算方法; 產生式 語義規則

S→XYZ Z.h:=S.a

X.c:=Z.g

S.b:=X.d-2

Y.e:=S.b

X→x X.d:=2*X.c

Y→y Y.f:=Y.e*3

Z→z Z.g:=Z.h+1;假設S.a的初始值為0，輸入串為xyz;6.2基於屬性文法的的處理方法;6.2.3一遍掃描的處理方法;按照一遍掃描的編譯程序模型理解語法制導翻譯法;一遍掃描的處理方法;6.3S-屬性文法的自下而上計算;在分析棧中使用一個附加的域來存放綜合屬性值

假設語義規則A.a:=f(X.x,Y.y,Z.z)是對應於產生式A→XYZ的;;;;;;第六章屬性文法和語法制導翻譯;一遍掃描的處理方法;6.4