语法制导翻译和中间代码的生成.pptxVIP

编译程序的任务: 是把源程序翻译成目标程序，这个 目标程序必须和源程序的语义等同 ，也就是说，尽管它们的语法结构 完全不同，但它们所表达的结果应 完全相同。;通常，在词法分析程序和语法分析程序对 源程序的语法结构进行分析之后，要么由 语法分析程序直接调用相应的语义子程序 进行语义处理，要么首先生成语法树或该 结构的某种表示，再进行语义处理。 ;语义处理的两个功能： 第一，审查每个语法结构的静态语义， 即验证语法结构合法的程序是否真正有意义 。有时把这个工作称为静态语义分析或静态 审查。 第二，如果静态语义正确，语义处理则 要执行真正的翻译，即，要么生成程序的一 种中间表示形式（中间代码），要么生成实 际的目标代码。 ; 1.属性文法 2.语法制导翻译 3.中间代码的形式 4.简单的赋值语句的翻译 5.布尔表达式的翻译(*) ;属性文法 : 一个属性文法是一个三元组A=(G，V，F)， (1) 一个上下文无关文法G； (2)一个属性的有穷集V; (3)关于属性的断言或谓词的有穷集F。 每个属性与文法的某个非终结符或终结符 相联。每个断言与文法的某产生式相联。 ;如果对G中的某一输入串而言,句子A中的所 有断言对该输入串的语法树结点的属性全 为真，则该串A是语言中的句子,编译程序 的静态语义审查工作就是验证关于所编译 的程序的断言是否全部为真。 ;;;例8.1 简单算术表达式求值的语义描述。 产生式 语义规则 (0)L→E print(E.val) (1)E→E1+T E.val:=E.val＋T.val (2)E→T E.val:=T.val (3)T→T1*F T.Val:=T1.val*F.val (4)T→F T.val:=F.val (5)F→(E) F.Val:=E.val (6)F→digit F.val=digit·lexval ;例8.2 描述说明语句中各种变量的类型信息 的语义规则。 产生式 语义规则 (1)D→TL L.in:=T.type (2)T→int T.type：＝Integer (3)T→real T.type:=real L1.in:=L.in (4)L→L1,id addtype(id.entry,L.in) (5)L→id addtype(id.entry，L.in) ;根据每个产生式所对应的语义子程序 （或语义规则描述的语义动作）进行 翻译的办法称作语法???导翻译。 两个主要任务: (1).简单算数术表达式计算它的值, (2).其它语法结构翻印成中间代码 ;假定我们现在要分析的语法成分是简单算术表达 式，所完成的语义处理不是将它翻译成中间代码 或是目标代码，而是计算表达式的值. 产生式 语义规则 (0)L→E print(E.val) (1)E→E1+T E.val:=E.val＋T.val (2)E→T E.val:=T.val (3)T→T1*F T.Val:=T1.val*F.val (4)T→F T.val:=F.val (5)F→(E) F.Val:=E.val (6)F→digit F.val=digit·lexval;; 1).逆波兰记号 2).三元式 3).树形表示 4).四元式 ;表示规则：运算对象写在前面，运算符写在后面; 最大的优点：易于用栈结构分析表达式 ，每碰到运算对象就把他推进栈，碰到运算 符，若该运算符是二元的实施运算，并将结 果代替这两个运算对象进栈,若是一元的， 则对栈顶的元素运算，并将结果代替该运算 对象进栈，最后结果留在栈顶。;例:将-B+C*D写成逆波兰记号，并分析的计算过程 逆波兰记号：B-CD*+ 过程：1.B进栈 2.对栈顶的元素实施一元运算，并将 结果代替栈顶，即-B进栈 3.C进栈 4.D进栈 5.栈顶两元素相乘C D出栈，相乘结果进栈 6.栈顶两