编译原理课件语法制导的翻译.pptVIP

* * * * * * * * * * * * * * * * * 句子real id1，id2，id3的带注释的分析树 产 生 式 语 义 规 则 D→TL L.in := T.type T→int T.type := integer T→real T.type := real L→L1, id L1.in :=L.in addtype(id.entry, L.in) L→id addtype(id.entry, L.in) id1 L , id2 L , id3 L real T D T.type=real L.in=real L.in=real L.in=real 4.1.4 属性依赖图 输入串 分析树 依赖图 语义规则计算次序 4.1.4 属性依赖图 在一棵分析树中的结点的继承属性和综合属性之间的相互依赖关系可以由称作依赖图的一个有向图来描述。 为每一个包含过程调用的语义规则引入一个虚拟综合属性b，这样把每一个语义规则都写成 b:=f(c1,c2,…,ck) 的形式。 依赖图中为每一个属性设置一个结点，如果属性b依赖于属性c，则从属性c的结点有一条有向边连到属性b的结点。 4.1.4 属性依赖图 E→E1＋E2 E.val:=E1.val+E2.val E1 + E2 E val val val 4.1.4 属性依赖图 for 分析树中每一结点n do for 结点n的文法符号的每一个属性a do 为a在依赖图中建立一个结点； for 分析树中每一个结点n do for 结点n所用产生式对应的每一个语义规则 b:=f(c1,c2,…,ck ) do for i:=1 to k do 从ci结点到b结点构造一条有向边； 4.1 语法制导的定义 4.1.4 属性依赖图 int id1, id2, id3的分析树的依赖图 D ? TL L.in := T.type D int T , id3 L L L id2 id1 , 1 entry 10 2 entry 3 entry in 9 8 in 7 6 in 5 4 type 4.1 语法制导的定义 4.1.4 属性依赖图 int id1, id2, id3的分析树的依赖图 L? L1, id L1.in := L.in; addtype (id.entry, L.in ) D int T , id3 L L L id2 id1 , 1 entry 10 2 entry 3 entry in 9 8 in 7 6 in 5 4 type 句子real id1，id2，id3的带注释的分析树的依赖图 产 生 式 语 义 规 则 D→TL L.in := T.type T→int T.type := integer T→real T.type := real L→L1, id L1.in :=L.in addtype(id.entry, L.in) L→id addtype(id.entry, L.in) id1 L , id2 L , id3 L real T D 4 type 5 in 6 - addtype(id.entry, L.in) 7 in 8 addtype 9 in 10 addtype 1 entry 2 entry 3 entry 4.1 语法制导的定义 4.1.5 属性计算次序 拓扑排序：结点的一种排序，使得边只会从该次序中先出现的结点到后出现的结点。 例：1，2，3，4，5，6，7，8，9，10 D int T , id3 L L L id2 id1 , 1 entry 10 2 entry 3 entry in 9 8 in 7 6 in 5 4 type 40/52 依赖图的任一拓扑排序都是一个合理的属性计算顺序 4.1.5 属性计算次序 如果一属性文法不存在属性之间的循环依赖关系，那么称该文法为良定义的。 4.1.5 属性计算次序 一个依赖图的任何拓扑排序都给出一个语法树中结点的语义规则计算的有效顺序。 属性文法说明的翻译是很精确的 基础文法用于建立输入符号串的语法分析树； 根据语义规则建立依赖图 从依赖图的拓扑排序中，我们可以得到计算语义规则的顺序。 输入串 分析树 依赖图