題組內容

四、請試述下列名詞之意涵：（每小題 5 分，共 20 分）

⑵屬性語法（attribute grammar）

詳解 (共 1 筆)

詳解 提供者：hchungw

屬性語法（Attribute Grammar，AG）是一種用來描述編程語言和文法的語法規則系統，它在傳統上下文無關語法的基礎上，通過屬性和屬性計算規則來豐富語法描述的能力。屬性語法可以用來定義語法結構的靜態語義，並支持語法樹上屬性的計算。

主要概念：

  1. 屬性（Attribute）：屬性是與語法樹中的節點相關聯的值。屬性可以是綜合屬性（Synthesized Attribute）或繼承屬性（Inherited Attribute）。

    • 綜合屬性：由子節點傳遞到父節點的屬性。
    • 繼承屬性：由父節點傳遞到子節點或兄弟節點的屬性。

  2. 屬性計算規則（Attribute Computation Rules）：這些規則用來描述如何計算節點的屬性值。計算規則可以使用上下文信息來計算節點的屬性值。

  3. 語法規則（Grammar Rules）：定義語法結構的規則，屬性語法在傳統語法規則的基礎上增加了屬性和屬性計算規則。