编译原理复习.ppt

复习内容 基本概念 基本方法 期末考试题型分布 基本概念 第一章 计算机程序设计语言 高级语言的执行过程 解释程序、编译程序及其区别 编译过程的五个阶段 编译程序的七个组成部分及其关系 “遍”的概念 编译程序的开发技术 构造编译程序所应掌握的内容 基本概念 第二章 单词符号的分类和输出形式 状态转换图 正规表达式和正规集 符号、字母表、符号串、空符号串、符号串集合 自反闭包、正则闭包 有限自动机、确定有限自动机、非确定有限自动机 有限自动机的表示 词法分析器自动生成系统LEX、语法分析器自动生成工具YACC 基本概念 第三章 文法和语言 文法的开始符号、终结符、非终结符和产生式 直接推导和推导、最左推导、最右推导 文法产生的语言 形式语言分类、四类文法的关系与区别 规范推导、短语、句柄、素短语 语法树、子树和短语 文法的二义性 基本概念 第三章（续） 自上而下分析法：递归下降分析、LL(1)分析 递归下降分析法 要点:自上而下分析存在的不确定性 如何实现确定的(即无回溯的)自上而下分析? 消除左递归、消除回溯 LL(1)分析法 要点: LL(1)分析法的基本思想 LL(1)分析器组成 LL(1)文法的性质 基本概念 第三章（续） 自下而上分析法：算符优先分析法、LR分析法 归约、规范归约、可归约串、最左素短语 算符文法和算符优先文法 算符优先关系表 LR分析法对文法的限制 LR分析器的工作原理 活前缀、 LR(0)项目、 LR(0)项目集规范族 拓广文法、 LR(0)文法 SLR(1)分析法、 SLR(1)文法 基本概念 第四章 语义分析的概念 语法制导翻译方法 文法的属性、继承属性与综合属性 属性文法 几种常见的中间语言 数组元素的地址计算 变址存数、变址取数 基本概念 第五章 优化、优化三个不同的级别 局部优化、循环优化和全局优化 基本块、局部优化常用的优化技术 利用DAG进行基本块优化的基本思想 程序流图、必经结点、必经结点集、回边、循环 可归约流图 循环优化常用的优化技术 基本方法 正规表达式和正规集 正规表达式到有限自动机的构造 文法和语言 推导和归约 文法二义性的消除 消除左递归、消除回溯 LL(1)文法的判别 FIRST集合、FOLLOW集合的构造 LL(1)分析表的构造 基本方法 算符优先文法的判别 FIRSTVT集合、LASTVT集合的构造 算符优先关系表的构造 LR(0)分析表的构造 SLR(1)分析表的构造 表达式翻译成逆波兰式 典型语句的翻译（生成四元式序列） 基本块的划分、基本块的优化 程序流图、必经结点集、回边、循环 正规式到正规文法的转换 与正规式R=a(a|d)*等价的正规文法G的产生过程为 正规式a(a|d)*的字母表∑={a,d},故G的VT={a,d} 设定开始符号S,生成产生式S→ a(a|d)* 按分解规则: S→aA,A→(a|d)* S→aA,A→(a|d)A,A→ε S→aA,A→aA|dA,A→ε 故得到等价的正规文法G: S→aA A→aA|dA|ε 正规文法到正规式的转换 与含有下列产生式的正规文法G: S→aA A→aA|aB B→bC C→cB|c 等价的正规式的产生过程为 将C→cB|c代入B→bC得B→b(cB|c),即B→bcB|bc 也就是B→(bc)*(bc)或者写成B→(bc)+ 将B→(bc)+代入A→aA|aB得A→aA|a(bc)+,即A→a+(bc)+ 将A→a+(bc)+代入S→aA得S→aa+(bc)+ 因此,与文法G等价的正规式为aa+(bc)+ 正规文法到FA的转换方法 设有正规文法G[S]: S→aA|bB|a A→aB|bA B→aS|bA|b 则与G[S]等价的FA构造过程如下: FA的∑={a,d}. G[S]有三个非终结符S、A、B,对应FA的三个状态. S为开始状态. 另设一个状态Z作为FA的终态. 对G[S]的每个产生式构造转换函数,画出FA的状态转换图. FA到正规文法的转换方法 有FA如右图所示。 构造其对应的正规文法G=(VN,VT,S,P) VT={0,1} VN={A,B,C,D} 开始符为A 产生式为： A→1D|0B|0 B→0D|1C C→0B|1D|0 D→0D|1B|1 FA到正规式的转换方法 FA到正规式的转换方法（续） FA到正规式的