第8单元语法制导翻译和中间代码.pptVIP

【例如】属性 A.a:=f( X.x, Y.y ) 对应于产生式 A?XY的语义规则,这条语义规则确定了依赖于属性X.x和Y.y的综合属性A.a。 如果在语法树中应用这个产生式，那么在依赖图中会有三个结点A.a,X.x,和Y.y。由于A.a依赖X.x，所以有一条有向边从X.x到A.a.由于A.a也依赖于Y.y，所以还有一条有向边从Y.y连到A.a. 如果与产生式A?XY对应的语义规则还有： X .i:=g(A.a,Y.y) 那么，图中还应有两条有向边，一条从A.a连到X.i，另一条从Y.y连到X.i ,因为X.i依赖于A.a和Y.y. 8.2.2 S- 属性文法的自下而上计算 产生式 代 码 段 L→En print(val[top]) E→E1+T val[ntop] := val[top-2]+val[top] E→T T→T1*F val[ntop] := val[top-2]*val[top] T→F F→ (E) val[ntop] :=val[top-1] F→digit 输入 state sym val 用到的产生式 3*5+4n 0 # - *5+4n 05 #3 -3 *5+4n 03 #F -3 F→digit *5+4n 02 #T -3 T→F 5+4n 027 #T* -3 - +4n 0275 #T*5 -3 - 5 输入 state sym val 用到的产生式 +4n 0275 #T*5 -3 - 5 +4n 02710 #T*F -3 - 5 F→digit +4n 02 #T -15 T→T*F +4n 01 #E -15 E→T 4n 016 #E+ -15- n 0165 #E+4 -15- 4 输入 state sym val 用到的产生式 n 0165 #E+4 -15- 4 n 0163 #E+F -15- 4 F→digit n 0169 #E+T -15- 4 T→F n 01 #E -19 E→E+T #En -19- #L -19 L→En 8.2.3 L-属性文法和自顶向下翻译 通过深度优先的方法对语法树进行遍历，计算属性文法的所有属性值 LL(1)：自上而下分析方法，深度优先建立语法树 一个属性文法称为L-属性文法，如果对于每个产生式A→X1X2…Xn，其每个语义规则中的每个属性或者是综合属性，或者是Xj(1?j?n)的一个继承属性且这个继承属性仅依赖于： (1) 产生式Xj的左边符号X1，X2，…，Xj-1的属性； (2) A的继承属性。 S-属性文法一定是L-属性文法 8.3 中间代码的形式 中间代码 是源程序的一种内部表示 复杂性介于源语言和目标机语言之间 中间代码的作用 使编译程序的逻辑结构更加简单明确 利于进行与目标机无关的优化 利于在不同目标机上实现同一种语言 中间代码的形式 逆波兰式、四元式、三元式、树 1、后缀表示式 Lukasiewicz发明的一种表示表达式的方法，又称逆波兰表示法。 一个表达式E的后缀形式可以如下定义： 1） 如果E是一个变量或常量，则E的后缀式是E自身。 2） 如果E是E1 op E2形式的表达式，其中op是任何二元运算符，则E的后缀式为E1? E2? op，其中E1? 和E2? 分别为E1 和E2的后缀式。 3） 如果E是(E1)形式的表达式，则E1 的后缀式就是E的后缀式。 1、后缀表示式 逆波兰表示法不用括号。只要知道每个算符的目数，对于后缀式，不论从哪一端进行扫描，都能对它进行唯一分解。 例如：（a+b）*c 表示成ab+c* 后缀式的计算 用一个栈实现。 一般的计算过程是：自左至右扫描后缀式，每碰到运算量就把它