compiler6_语义分析.pptVIP

第六章 语法制导翻译 语法制导翻译 6.1 语法制导定义 6.1.1 语法制导定义的形式 6.1.2 综合属性 6.1.3 继承属性 6.1.4 依赖图 6.1.5 计算顺序 6.2 语法树（syntax tree）的构造 6.2.1 语法树 6.3 S-属性定义及其自底向上的计算 6.4 L-属性定义 6.5 自顶向下的翻译 6.1 语法制导定义(Syntax-directed definitions) 6.2 语法树（syntax tree）的构造 6.3 S-属性定义及其自底向上的计算 输入文法和翻译文法的概念 输入文法：未插入动作符号时的文法 由输入文法可以通过推导产生输入序列 翻译文法：插入动作符号的文法 由翻译文法可以通过推导产生活动序列 6.5 自顶向下的翻译 语法制导翻译 6.1 语法制导定义 6.2 语法树（syntax tree）的构造 6.3 S-属性定义及其自底向上的计算 6.4 L-属性定义 6.5 自顶向下的翻译 参考 例：已知语法和翻译模式如下，验证(i+i)*i的正确性。 可以用输入文法推出 E?T ?T*F ?F*F ? (E)*F?(E+F)*F ?(i+i)*i 用相应的翻译文法推导可得 E?T ?T*F＠* ?F*F＠* ? (E)*F＠* ?(E+F＠+)*F ＠* ?(i ＠i+i ＠i＠+)*i ＠i 定义 翻译文法是上下文无关文法终结符号集由输入符号和动作符号组成由翻译文法所产生的终结符号串称为活动序列 以上例题中的翻译文法为: GT=(Vn,Vt,P,E) Vn={E,T,F} Vt={i,+,*,(,),@+,@*,@i} P={E→E+T@+,E→T,T→T*F@*,T→F,F→(E),F →I@i} 符号串翻译文法输入文法中的动作符号对应的语义子程序是输出动作符号标记后的字符串的文法 语法导制翻译按翻译文法进行的翻译 给定一输入符号串根据翻译文法获得翻译该符号串的动作序列并执行该序列所规定的动作过程 +4n T 15 T? T*F +4n E 15 E? T 4n E+ 15- n E+4 15-4 n E+F 15-4 F ? digit n E+T 15-4 T? F n E 19 E? E+T En 19 - L 19 L? En 输入 state val 使用的产生式 产生式 代码段 L?En printf(val[ntop]) E ?E+T val[ntop]:=val[top-2]+val[top] E ?T T ?T*F val[ntop]:=val[top-2]*val[top] T ?F F ?(E) val[ntop]:=val[top-1] F ?digit 瑞闻错据迂蹋麓覆峻巫涵澜师殊玉渴粘欺诡镍芽驰薄仇颜耕颧滞了挺掂韦compiler6_语义分析compiler6_语义分析 S-属性小结 采用自底向上分析，例如LR分析，首先给出S-属性定义，然后，把S-属性定义变成可执行的代码段，这就构成了翻译程序。 富掣少钟蔑网彪狠诸铱缮序供逢乘习匹犁燥贩青藐饯凛订尘惺筷露罢啦沥compiler6_语义分析compiler6_语义分析 在语法分析过程中进行语义分析和翻译，属性的计算顺序受到语法分析建立分析树结点顺序的限制。 一种自然的计算属性的顺序是按深度优先 访问分析树结点的顺序，它适应多种自底向上 和自顶向下的翻译方法。 L-属性定义 可用于按深度优先顺序计算属性值。 6.4 L-属性定义 证