依賴圖是用來描述相應語法樹中屬性的信息流;從一個屬性的邊到另一個需要通過計算第一個屬性得到第二個屬性。邊的表達要遵循語法規則。
1.對于每一個分析樹的節點而言,假設有一個節點定義為語法符號X,依賴圖就存在與X相關的每一個屬性的節點。
2.假設一個與產生式P相關的語義規則根據X.c的值定義了綜合屬性A.b的值。然后,依賴圖從X.c到A.b出現了一條邊。更準確地說,在每一個節點N標記了與產生式P相關的A,在節點N生成屬性b的邊,從N的子節點屬性b對應著產生式中符號X的實例。
3.假設一個與產生式P相關的語義規則根據X.a的值定義了繼承屬性B.c的值。之后,依賴圖從X.a到B.c出現了一條邊。對于每一個節點N標記了產生式P中的B,生成從節點N屬性c到節點M屬性a的邊。
依賴圖