文法符号其语义属性.ppt

* 6.4 L-属性文法和自顶向下翻译 L-属性文法 1.定义:若属性文法中每个产生式A→X1X2…Xn, 其相关的每个语义规则中的每个属性: ①或者是综合属性; ②或者是Xj的一个继承属性且该继承属性仅依赖于 Xj左边符号X1,X2,…,Xj-1的属性和A的继承属性。 则称该属性文法为L-属性文法. * 2. 特点: 6.4 L-属性文法和自顶向下翻译 L-属性文法 A. 该类属性文法允许我们通过一次遍历就计算出所 有属性值. B. 可在自上而下语法分析的同时实现L-属性文法的 计算. C. S-属性文法一定是L-属性文法. * 6.4 L-属性文法和自顶向下翻译 一个非L-属性文法 产生式 语义规则 A →LM A →QR L.i=l(A.i) M.i=m(L.s) R.i=r(A.i) Q.i=q(R.s) A.s=f(Q.s) * 一. 翻译模式 1. 翻译模式的定义： 一种适合语法制导翻译的语义描述形式,给出了 使用语义规则进行计算的次序,可把某些实现细节表 示出来. 形式:在翻译模式中,和文法符号相关的属性和语义规 则,用{ }括起来,插入到产生式右部的合适位置上. 例:E →TR R →addop T { pr(addop.lex)} R1| ε T →num {pr(num.val)} 6.4 L-属性文法和自顶向下翻译 * 为每一个语义规则建立一个包含赋值的动作,并 把这个动作放在相应的产生式右边的末尾. 6.4 L-属性文法和自顶向下翻译 2. 翻译模式的设计： A. 只有综合属性时,可以按如下方式建立翻译模式: * B.若既有综合属性又有继承属性时,则按如下方式建立 翻译模式: ①产生式右边的符号的继承属性必须在这个符号以前的动作中计算出来. ②一个动作不能引用这个动作右边的符号的综合属性. ③产生式左边非终结符的综合属性只有在它所引用的所有属性都计算出来以后才能计算.计算这种属性的动作通常可放在产生式右端的末尾. 6.4 L-属性文法和自顶向下翻译 2. 翻译模式的设计： * 举例: E →TR R →addop T{pr(addop.lex)}R1|ε T →num {pr(num.val)} 输入：9－5＋2 深度优先遍历后 输出：95－2＋ E T R R R 9 Pr(‘9’) － T Pr(‘－’) ＋ T Pr(‘＋’) 5 Pr(‘5’) 2 Pr(‘2’) ε * 二.自顶向下翻译 1.讨论: L-属性文法在自顶向下分析中的实现 6.4 L-属性文法和自顶向下翻译 自顶向下语法分析的前提是消除文法中的左递归. * E→E1+T { E.val:=E1.val+T.val } E→E1－T { E.val:=E1.val－T.val } E→T { E.val:=T.val } T→(E) { T.val:=E.val } T→num {T.val:=num.val} E→T { R.i := T.val } R { E.val:=R.s } R→+ T { R1.i := R.i +T.val } R1 { R.s := R1.s } R→－ T{ R1.i := R.i -T.val } R1 { R.s := R1.s } R→ε { R.s := R.i } T→(E) { T.val:=E.val } T→num{ T.val:=num.val } 2.例题: * 计算表达式 9－5＋2 带注释语法树 i: 继承属性 s : 综合属性 E T.val=9 R.i=9 R.i=4 R.i=6 Num.val=9 － T.val=5 + T.val=2 Num.val=2 ε Num.val=5 6.4 L-属性文法和自顶向下翻译 E.val R.s R.s R.s * A→A1Y { A.a=g(A1.a ,Y.y } A→X { A.a= f (X.x) } A→X { R.i:=f (X.x) } R { A.a:=R.s } R→Y { R1.i =g (R.i, Y.y) } R1 { R.s:=R1.s } R→ε { R.s := R.i } 6.4 L-属性文法和自顶向下翻译 3. 转换左递归翻译模式的一般方法： 消除左递归前: 消除左递