依赖图 ·描述了某棵特定的分析树上各个属性实例之间 的信息流(计箅顺序 从实例a1-到实例a的有向边表示计算a时需要a1的值。 (必须先计算a2,再计算a1) ·对于标号为Ⅹ的分析树结点N,和Ⅹ关联的每个 属性a都对应依赖图的一个结点Na。 ·结点N对应的产生式的语义规则通过Ⅹc计算了 A.b的值,且在分析树中Ⅹ和A分别对应于N和 N,那么从N1C到Nb有一条边。 N1和N可以等于/不等于N。依赖图 • 描述了某棵特定的分析树上各个属性实例之间 的信息流（计算顺序） – 从实例a1到实例a2的有向边表示计算a2时需要a1的值。 （必须先计算a2，再计算a1） • 对于标号为X的分析树结点N，和X关联的每个 属性a都对应依赖图的一个结点N.a。 • 结点N对应的产生式的语义规则通过X.c计算了 A.b的值，且在分析树中X和A分别对应于N1和 N2，那么从N1 .c到N2 .b有一条边。 – N1和N2可以等于/不等于N