编译原理——依赖图

依赖图是用来描述相应语法树中属性的信息流；从一个属性的边到另一个需要通过计算第一个属性得到第二个属性。边的表达要遵循语法规则。

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的边。