编译原理6-1-属性文法.pptVIP

第六章 属性文法和语法制导翻译 6.1 属性文法 6.2 基于属性文法的处理方法 6.3 S-属性文法的自下而上计算 6.4 L-属性文法和自顶向下翻译 6.5 自下而上计算继承属性 语义分析 静态语义分析 类型检查、控制流检查 、一致性检查 名字的作用域分析 动态语义分析 栈溢出 数组越界 a[i] 编译中的语义处理 静态语义分析或静态审查 执行真正的翻译 翻译成中间表示形式 翻译成目标代码 语义形式形式化 词法分析－正规式，正规文法，有穷自动机 语法分析－上下文无关文法 语义分析－难于形式化描述 属性文法 6.1 属性文法 属性文法（属性翻译文法） 是在上下文无关文法的基础上，为每个文法符号（终结符或非终结符）配备若干相关的“值”（称为属性）。 属性：类型、值、代码序列、符号表内容… 属性通常分为两类 综合属性 用于“自下而上”传递信息 继承属性 用于“自上而下”传递信息 或者在兄弟之间传递信息 语义规则的形式 在一个属性文法中，对应于每个产生式A→α都有一套与之相关联的语义规则， 每条规则的形式为 b := f(c1，c2，…，ck) 属性b依赖于属性 c1，c2，…，ck （1）或者 b是A的一个综合属性, 并且c1，c2，…，ck 是产生式右边文法符号的属性； （2）或者 b是产生式右边某个文法符号的一个继承属性, 并且c1，c2，…，ck 是A或产生式右边任何文法符号的属性。 注意 终结符 只有综合属性，它们由词法分析器提供 非终结符 既可有综合属性也可有继承属性 例: 产生式A→BC有规则 S-属性文法 仅仅使用综合属性的属性文法称 S-属性文法 在语法树中，一个结点的综合属性的值由其 子结点的属性值确定。 通常使用自底向上的方法在每一个结点处使用语义规则计算综合属性的值。 继承属性 在语法树中，一个结点的继承属性由此结点的父结点和／或兄弟结点的某些属性确定。 用继承属性来表示程序设计语言结构中的上下文依赖关系很方便。 语义规则 属性计算 类型说明 符号表操作 代码生成 …… 补充例 1 补充例 2 为下面文法配备语义规则，使得语义处理结果是将中缀表达式变为后缀表达式 补充例 3 G: N?S.S S ?SB S ?B B ?0 B ?1 给文法配备语义规则, 完成二进制到十进制的转换 输入－ 11.01 输出－ 3.25 11.01= 1*21+1*21+0*2-1+1*2-2 N?S1.S { N.v=S1.v+S.v*2-S.L } S ?S1B { S.v=S1.v*2+B.v, S.L=S1.L+1 } S ?B { S.v=B.v, S.L=1 } B ?0 { B.v=0 } B ?1 { B.v=1 } N?S1.S { N.v=S1.v+S.v*2-S.L } S ?S1B { S.v=S1.v*2+B.v, S.L=S1.L+1 } S ?B { S.v=B.v, S.L=1} B ?0 { B.v=0 } B ?1 { B.v=1 } N?S1.S { N.v=S1.v+S.v*2-S.L } S ?S1B { S.v=S1.v*2+B.v, S.L=S1.L+1 } S ?B { S.v=B.v, S.L=1} B ?0 { B.v=0 } B ?1 { B.v=1 } 11.01= 1*21+1*21+0*2-1+1*2-2 N?S1.S { N.v=S1.v+S.v， S1.f＝1， S.f＝2-S.L } S ?S1B { S.L=S1.L+1，S1.f=S.f*2， B.f=S.f, S.v=S1.v+B.v } S ?B { S.L=1， B.f=S.f， S.v=B.v } B ?0 { B.v=0 } B ?1 { B.v=B.f } 11.01= 1*21+1*21+0*2-1+1*2-2 N?S1.S { N.v=S1.v+S.v， S1.f＝1， S.f＝2-S.L } S ?S1B { S.L=S1.L+1， S1.f=S.f*2， B.f=S.f, S.v=S1.v+B.v } S ?B { S.L=1， B.f=S.f， S.v=B.v} B