編譯原理之語法制導翻譯

定義

基本思想是將語言結構的語義以屬性的形式賦予代表此結構的文法符號，而屬性的計算以語義規則的形式賦予由文法符號組成的產生式。

文法符號的屬性：
1、綜合屬性
綜合屬性從子孫和自身的其他屬性計算得到
綜合屬性"自下而上,包括自身"
終結符可以具有綜合屬性，沒有繼承屬性
2、 繼承屬性
繼承屬性從祖先和兄弟的屬性計算得到
繼承屬性"自上而下,包括兄弟"

兩個概念

SDD與SDT
SDD：
是關於語言翻譯的高層次規格說明；
隱蔽了許多具體實現細節，使用戶不必顯式地說明翻譯發生的順序
SDT：
可以看作是對SDD的一種補充，是SDD的具體實施方案；
顯式地指明瞭語義規則的計算順序，以便說明某些實現細節

語法制導定義(SDD)
SDD的求值順序——依賴圖(Dependency Graph)

S-屬性定義與L-屬性定義
L-屬性定義



引用於https://blog.csdn.net/weixin_44226857/article/details/104283232