编译技术编译原理 (31).pdf

编译技术语 法 制 导 的 翻 译综合属性可以在分析输入符号串的同时由自下而上的分析器来计算。S 属 性 定 义 的 自 下 而 上 计 算分析器可以保存与栈中文法符号有关的综合属性值，每当进行归约时，新的属性值就由栈中正在归约的产生式右边符号的属性值来计算。S-属性文法：只含有综合属性S 属 性 定 义 的 自 下 而 上 计 算将将LR分析器分析器增加增加一个域来保存综合属性值一个域来保存综合属性值。.ZZ.zYY.yXX.x.若产生式若产生式AXYZ的语义规则是的语义规则是A.a:=f(X.x,Y.y,Z.z)，那么归约后：那么归约后：top栈栈state val.AA.a.top台式计算器的语法制导定义改成栈操作代码台式计算器的语法制导定义改成栈操作代码.ZZ.zYY.yXX.x.栈栈state valtop产产 生生 式式语语 义义 规规 则则L E nprint(E.val)E E1+TE.val:=E1.val+T.valE T E.val:=T.valT T1*F T.val:=T1.val*F.val T F T.val:=F.val F(E)F.val:=E.val F digit F.val:=digit.lexvalS 属 性 定 义 的 自 下 而 上 计 算台式计算器的语法制导定义改成栈操作代码台式计算器的语法制导定义改成栈操作代码.ZZ.zYY.yXX.x.栈栈state valtop产产 生生 式式代代 码码 段段L E nprint(val top 1)E E1+TE.val:=E1.val+T.valE T E.val:=T.valT T1*F T.val:=T1.val*F.valT F T.val:=F.val F(E)F.val:=E.val F digit F.val:=digit.lexvalS 属 性 定 义 的 自 下 而 上 计 算台式计算器的语法制导定义改成栈操作代码台式计算器的语法制导定义改成栈操作代码.ZZ.zYY.yXX.x.栈栈state valtop产产 生生 式式语语 义义 规规 则则L E nprint(E.val)E E1+Tval top 2 :=val top 2+val topE T E.val:=T.val T T1*F T.val:=T1.val*F.val T F T.val:=F.val F(E)F.val:=E.val F digit F.val:=digit.lexvalS 属 性 定 义 的 自 下 而 上 计 算台式计算器的语法制导定义改成栈操作代码台式计算器的语法制导定义改成栈操作代码.ZZ.zYY.yXX.x.栈栈state valtop产产 生生 式式语语 义义 规规 则则L E nprint(E.val)E E1+TE.val:=E1.val+T.val E T T T1*F T.val:=T1.val*F.val T F T.val:=F.val F(E)F.val:=E.val F digit F.val:=digit.lexvalS 属 性 定 义 的 自 下 而 上 计 算台式计算器的语法制导定义改成栈操作代码台式计算器的语法制导定义改成栈操作代码.ZZ.zYY.yXX.x.栈栈state valtop产产 生生 式式语语 义义 规规 则则L E nprint(E.val)E E1+TE.val:=E1.val+T.val E T T T1*F val top 2 :=val top 2 val topT F T.val:=F.val F(E)F.val:=E.val F digit F.val:=digit.lexvalS 属 性 定 义 的 自 下 而 上 计 算台式计算器的语法制导定义改成栈操作代码台式计算器的语法制导定义改成栈操作代码.ZZ.zYY.yXX.x.栈栈state valtop产产 生生 式式语语 义义 规规 则则L E nprint(E.val)E E1+TE.val:=E1.val+T.valE T T T1*F val top 2 :=val top 2 val top T F F(E)F.val:=E.val F digit F.val:=digit.lexvalS 属 性 定 义 的 自 下 而 上 计 算台式计算器的语法制导定义改成栈操作代码台式计算器的语法制导定义改成栈操作代码.ZZ.zYY.yXX.x.栈栈state valtop产产 生生 式式语语 义义 规规 则则L E nprint(E.val)E E1+TE.val:=E1.val+T.valE T T T1*F val top 2 :=val top 2 val top T F F(E)val top 2 :=val top 1F digit F.val:=digit.lexvalS 属 性 定 义 的 自 下 而 上 计 算台式计算器的语法制导定义改成栈操作代码台式计算器的语法制导定义改成栈操作代码.ZZ.zYY.yXX.x.栈栈state valtop产产 生生 式式语语 义义 规规 则则L E nprint(E.val)E E1+TE.val:=E1.val+T.valE T T T1*F val top 2 :=val top 2 val top T F F(E)val top 2 :=val top 1F digit S 属 性 定 义 的 自 下 而 上 计 算翻 译 输 入 3*5+4 n 所 做 的 移 动翻 译 输 入 3*5+4 n 所 做 的 移 动总结：采用自底向上分析，例如采用自底向上分析，例如LR分析，首先给出分析，首先给出S-属性定义，然后，属性定义，然后，把把S-属性定义变成可执行的代码段，这就构成了翻译程序。属性定义变成可执行的代码段，这就构成了翻译程序。象一座建筑，语法分析是构架，归约处有一个“挂钩”，语义象一座建筑，语法分析是构架，归约处有一个“挂钩”，语义分析和翻译的代码段（语义子程序）就挂在这个钩子上。这样，分析和翻译的代码段（语义子程序）就挂在这个钩子上。这样，随着语法分析的进行，归约前调用相应的语义子程序，完成翻随着语法分析的进行，归约前调用相应的语义子程序，完成翻译的任务。译的任务。小结：基础文法基础文法+综合属性综合属性语法制导定义语法制导定义S属性定义属性定义表示自上而下分析自下而上分析属性值由分析树中它的子结点的属性值来计算属性值由结点的兄弟结点及父结点的属性值来计算。属性属性综合属性综合属性继承属性继承属性消除左消除左递归递归改写改写文法文法归约：综合属性归约：综合属性放入栈中放入栈中