Chapt6属性文法和语法制导翻译概要.ppt

第六章 属性文法和语法制导翻译 语义 vs. 语法 语义：一组规则，用它可以定义一个程序的意义。 描述方法： 自然语言描述：隐藏错误、二义性和不完整性 形式描述： 操作语义(PL/1)、 指称语义(ADA)、 代数语义(PASCAL) 属性文法 6.1 属性文法 属性文法（也称属性翻译文法） Knuth在1968年提出 在上下文无关文法的基础上，为每个文法符号（终结符或非终结符）配备若干相关的“值”（称为属性）。 属性代表与文法符号相关的信息，如类型、值、代码序列、符号表内容等 属性可以进行计算和传递 语义规则：对于文法的每个产生式都配备了一组属性计算规则 综合属性 vs. 继承属性 在属性文法中，每个产生式A→?都对应着一套相关联的语义规则，每条规则都形如： b := f(c1,c2,…,ck) 这里，f是一个函数，而且或者 1.b是A的一个综合属性并且c1,c2,…,ck是产生式右边文法符号的属性，或者 2.b是产生式右边某个文法符号的一个继承属性并且c1,c2,…,ck是A或产生式右边任何文法符号的综合或继承属性。 属性b依赖于属性c1,c2,…,ck。 综合属性：(分析树)“自下而上”传递属性值 继承属性：(分析树)“自上而下”传递属性值 对属性文法的说明 终结符只有综合属性，值由词法分析器提供。 非终结符既可有综合属性也可有继承属性。 文法开始符号的所有继承属性作为属性计算的初始值。 对出现在产生式右边的继承属性和出现在产生式左边的综合属性都必须提供一个计算规则，且在这些计算规则中只能使用相应产生式中的文法符号的属性。 出现在产生式左边的继承属性和出现在产生式右边的综合属性不由所给的产生式的属性计算规则进行计算，它们由其它产生式的属性规则计算或者由属性计算器的参数提供。 语义规则及其计算方法 语义规则所描述的内容可以是属性计算、静态语义检查、符号表操作、代码生成等等。 例：考虑非终结符A，B和C，其中A有一个继承属性a和一个综合属性b，B有综合属性c，C有继承属性d。产生式A→BC可能有规则 C.d := B.c + 1 A.b := A.a + B.c 而属性A.a和B.c在其它地方计算。 属性文法：举例 属性val表示表达式E、项T和因子F的值。 产生式 语义规则 L→En print(E.val) E→E1+T E.val := E1.val + T.val E→T E.val := T.val T→T1*F T.val := T1.val * F.val T→F T.val := F.val F→(E) F.val := E.val F→digit F.val := digit.lexval 综合属性 在语法树中，一个结点的综合属性的值由其子结点的属性值确定。 使用自底向上的语法树遍历方法在每一个结点处使用语义规则计算综合属性的值。 仅仅使用综合属性的属性文法称S-属性文法。 S-属性文法：举例 属性val表示表达式E、项T和因子F的值。该属性是综合属性。 产生式 语义规则 L→En print(E.val) E→E1+T E.val := E1.val + T.val E→T E.val := T.val T→T1*F T.val := T1.val * F.val T→F T.val := F.val F→(E) F.val := E.val F→digit F.val := digit.lexval 3*5+4n的带语义注释的语法树 继承属性 在语法树中，一个结点的继承属性由此结点的父结点和/或兄弟结点的某些属性来确定。 用继承属性来表示程序设计语言结构中的上下文依赖关系很方便。 继承属性：举例 L有继承属性in，表示变量列表的数据类型。T有合成属性type，也表示数据类型。 产生式 语义规则 D→TL L.in := T.type T→int T.type := integer T→real T.type := real L→L1, id L1.in := L.in ? addtype(id.entry, L.in) L→id addtype(id.entry, L.in) 句子real id1，id2，id3的带注释的语法树 6.2 基于属性文法的的处理方法 由源程序的语法结构所驱动的语义处理办法就是语法制导翻译法。 语义规则的计算可能产生代码、在符号表中存放信息、给出错误信息或执行任何其它动作。对输