继承属性inh和综合属性syn的作用

继承属性inh和综合属性syn的作用

因为文法不是为了翻译而定义的，而是以语法分析为目的进行定义的，因此可能会产生语法分析树的结构和源代码的抽象语法不＂匹配”.

例如,下面的文法便是按照人类的算术习惯定义的.比如加法就定义为$E=E+T$,乘法就定义为$T=T\times F$.但如果要进行语法分析,这两个文法就存在左递归的问题,需要消除左递归,

例如,对于乘法$T=T\times F$,消除左递归后的文法如下.

可见,由于$T^{\prime }$的引入,导致语法分析树的结构与人们的乘法习惯不匹配.这时候就需要继承属性inh和综合属性syn解决这种不匹配.

例如,对于本例子,运算符$\ast$分量是通过继承得到的。更淮确地说, 产生式$T^{\prime }\to \ast F{T}_1^{\prime }$的头$T^{\prime }$继承了产生式体中*的左运算分量。给定一个项$x\ast y\ast z$, 对应于$\ast y\ast z$的子树的根结点䉻继承了$x$的值。对应于$\ast z$的子树的根结点继承了$x\ast y$的 值 。 如 果 项 中 还 有 更 茤 的 因 子 , ~我 们 可 以 继续这样的处理过程。当所有的因子都处理完毕后, 这个结果就通过综合属性上传到树的根部.

上面是龙书的原话,其实挺难以理解的,我们用例子帮助理解.例如上图,$F.val$和$F\times T^{\prime }$的值通过inh从左到右,从上往下传递(蓝色箭头),直到叶节点$T^{\prime }\to ϵ$,此时计算结束,结果通过syn从下往上(绿色节点)传递到根节点$T.val$.最终结果如下.