编译原理复习导论.ppt

* 第7章 LR分析法 输入串bccd＃的LR(0)分析过程 步骤 状态栈 符号栈 输入串 ACTION GOTO 1 ? 2 ? 3 ? 4 ? 5 6 7 8 9 ? 0 # bccd# S3 03 #b ccd# S8 038 #bc cd# S8 0388 #bcc d# S9 03889 #bccd # # # # # r6 11 0388 #bcc r5 11 038 #bc r5 7 03 #b r2 1 0 # acc B (11) B (11) B 7 E 1 * 第8章 语法制导和中间代码生成 1、翻译时的类型检查包括什么内容？ 运算符分量类型是否相容 赋值语句的左右部的类型是否相容 形参和实参的类型是否相容 ……（其余的检查内容见第八章课件） * 第8章 语法制导和中间代码生成 2、表达式的逆波兰式、三元式和四元式表示 b*c+b*d 逆波兰式：bc*bd*+ 三元式： 四元式： (1)(*, b, c) (1)(*, b, c, t1) (2)(*, b, d) (2)(*, b, d, t2) (3)(+, (1), (2)) (3)(+, t1, t2, t3) 注意：1:必须按照从左到右扫描的顺序，不能颠倒！ 2:四元式的顺序必须为实际的运算顺序。 * 第8章 语法制导和中间代码生成 3、控制语句翻译成四元式序列 首先画出所给语句的语法树； 再根据语法树和翻译规则进行翻译。 注意要记得回填！ * C→if E then { backpatch ( E.true , nextstat ) ; C.CHAIN:=E.false } Tp→C S1 else /* if E then S1 else */ { q:=nextstat ; emit ( jump,－,－,0 ) ;/*S1执行完，跳离整个if语句*/ backpatch ( C.CHAIN , nextstat ) ; Tp.CHAIN:＝merge ( q , S1.CHAIN ) } S→Tp S2/* if E then S1 else S2*/ { S.CHAIN:＝merge ( Tp.CHAIN , S2.CHAIN ) } W→while { W.codebegin:＝nextstat } Wd→W E do /*while E do*/ { Wd.codebegin:＝W.codebegin ; backpatch ( E.true , nextstat ) ; Wd.CHAIN:＝E.false } * 编译原理复习 * 第1章 引论 1、编译的各个过程及其作用对象（6个过程，按照逻辑关系排列） 词法分析 语法分析 语义分析 中间代码生成 目标代码生成 代码优化 字符流 单词 语法短语/语法树 中间代码 优化了的中间代码 有语义信息的语法树 注意：这6个步骤的顺序不能颠倒！！！ * 第1章 引论 2、理解翻译程序、编译程序、汇编程序分别是什么样的程序以及彼此之间的关系 1、翻译程序： 2、编译程序： 3、汇编程序： 高级语言程序 （源程序） 编译程序 低级语言程序 （目标程序） 汇编语言程序 （源程序） 汇编程序 机器语言程序 （目标程序） 一种语言程序 （源程序） 翻译程序 另一种语言程序 （目标程序） * 第3章 文法和语言 1、几种类型的文法 四种文法之间的逐级“包含”关系： 也就是说，任何文法都是0型文法。不是0型文法的文法，也不是其他类型的文法。 2型文法 1型文法 3型文法 0型文法 * 第3章 文法和语言 2、规范推导和规范归约的含义 规范推导：最右推导。 规范归约：最左归约。 规范推导和规范归约是逆向的过程。 * 第3章 文法和语言 3、句型、句子、短语、直接短语、句柄的含义 句型：任何能由开始符号推出的符号串。 句子：只含有终结符的句型。 短语：设αβδ是文法G[S]中的一个句型，如果有S=*αAδ且A=+β，则称β是句型αβδ相对于非终结符A的短语。 直接短语：特别的如有A=β，则称β是句型αβδ相对于规则A→β的直接短语（简单短语）。 句柄：一个句型的最左直接短语称为该句型的句柄。句柄就是“可归约串”。 * 第3章 文法和语言 3、句型、句子、短语、直接短语、句柄的含义 表现在语法树中： 句型就是树中任意深度的叶子串； 句子就是句型中只含终结符的叶子串； 短语：每棵子树对应一个短语； 直接短语：只有2层的子树所对应的短语； 句柄：最左的直接短语。 所以，要求短语、直接短语和句柄，就可以根据语法树来求。（考试当中若求短语、直接短语和句柄，则必须画出相应的语法树！） * 第3章 文法