网页制作技巧chapter5语法制导翻译教材课程.ppt

第五章 语法制导翻译 ;第五章 语法制导翻译; ;输入符号串 ;4.1 语法制导的定义;5.1.1 语法制导定义的形式;5.1.2 综合属性;5.1.2 综合属性;5.1.2 综合属性;5.1.2 综合属性;5.1.2 综合属性;5.1.2 综合属性;5.1.2 综合属性;5.1.2 综合属性;5.1.2 综合属性;5.1.2 综合属性;5.1.2 综合属性;5.1.2 综合属性;5.1.2 综合属性;5.1.3 继承属性;5.1.3 继承属性;属性依赖图; 依赖图的构造方法 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构造一条有向边；;5.1.4 属性计算次序;5.1.4 属性计算次序;5.1.4 属性计算次序;5.1.4 属性计算次序;5.1.4 属性计算次序;5.1.4 属性计算次序;5.1.4 属性计算次序;5.2 语法树的构造;5.2 语法树的构造;5.2 语法树的构造;id;5.2 语法树的构造;id;5.2 语法树的构造;;5.2.4 关于表达式的有向非循环图 ◆有向非循环图 （Directed Acyclic Graph，简称DAG) 用途：提取表达式中的公共子表达式，以取 得目标程序的局部优化。 方法：执行mknode和mkleaf时， 检查是否已有相同的结点， 若有，则返回相应结点的指针。;例6.9 表达式 a＋a*(b-c)+(b-c)*d 的DAG ;5.3 S属性定义的自下而上计算;5.3 S属性定义的自下而上计算;4.2 S属性定义的自下而上计算;4.2 S属性定义的自下而上计算;例 输入串3*5+4n的语义分析过程; +4n T 15 T? T*F;S-属性小结 采用自底向上分析，例如LR分析，首先给出S-属性定义，然后，把S-属性定义变成可执行的代码段，这就构成了翻译程序。; 在语法分析过程中进行语义分析和翻译，属性的计算顺序受到语法分析建立分析树结点顺序的限制。 一种自然的计算属性的顺序是按深度优先 访问分析树结点的顺序，它适应多种自底向上 和自顶向下的翻译方法。 L-属性定义 可用于按深度优先顺序计算属性值。;◆深度优先顺序计算属性 PROCEDURE dfvisit(n:node); BEGIN FOR n 的每个子结点m,从左至右 DO BEGIN 计算m的继承属性； dfvisit(m) END; 计算n的综合属性 END;;5.4.1 L-属性定义 ◆定义 一个语法制导定义是L-属性定义，如果?A→X1X2…Xn?P,其每一个语义规则中的每一个属性都是一个综合属性，或是Xj(1?j ? n)的一个继承属性，这个继承属性仅依赖于 1. 产生式中Xj的左边符号X1，X2，…Xj-1 的属性； 2．A的继承属性。 每一个S-属性定义都是L-属性定义。;变量类型声明的语法制导定义是一个L属性定义;表是否为L-属性的语法制导定义？;5.4.2 翻译模式 ◆定义 翻译模式是语法制导定义的一种便于翻译的书写形式。其中属性与文法符号相对应，语义规则或语义动作用花括号｛ ｝括起来，可被插入到产生式右部的任何合适的位置上。 这是一种语法分析和语义动作交错的表示法，它表达在按深度优先遍历分析树的过程中何时执行语义动作。 翻译模式给出了使用语义规则进行计算的顺序。可看成是分析过程中翻译的