語法制導定義

一般來說，在文法中的每個非終結符號都有對應於特定的文法結構。對於每個結構，都可以定義相應的屬性。

舉例

比如：每個語句對應的代碼，每個表達式對應的類型，等等。在不同的時候，我們對不同的屬性感興趣，也就給出不同的屬性定義。語法制導定義中，規定了每個語法單位的屬性值時如何由其他的語法單位的屬性值確定。但是並不給出具體的計算次序。實際上，我們可以把語法制導定義看作是一種specification。它規定了各個屬性應該滿足怎么樣的要求。