《编译原理》教学课件 .ppt

Date;使用说明;使用说明;编译原理Compiler Principles and Techniques;课程目的和基本要求;课程目的和基本要求;课程目的和基本要求 ;主要内容 ;教材及主要参考书目;第1章? 引论;1.1 程序设计语言;程序设计语言的分类;程序设计语言的分类;程序设计语言的分类;1.2 程序设计语言的翻译;1.2 程序设计语言的翻译;1.2 程序设计语言的翻译;1.2 程序设计语言的翻译;1.2 程序设计语言的翻译;1.2 程序设计语言的翻译—汇总;1.3 编译程序总体结构;1、词法分析;1、词法分析;2、语法分析;2、语法分析;3、语义分析;4、中间代码生成;波兰表示问题——Lukasiewicz 1929年发明 ;4、中间代码生成;代码优化(optimization)是指对中间代码进行优化处理，使程序运行能够尽量节省存储空间，更有效地利用机器资源，使得程序的运行速度更快，效率更高。当然这种优化变换必须是等价的。 与机器无关的优化 与机器有关的优化;与机器无关的优化;与机器有关的优化;6、目标代码生成;7、表格管理;8、错误处理;模块分类;语句sum=(10+20)*(num+square);的翻译过程;1.4 编译程序的组织;1.4 编译程序的组织;1.4 编译程序的组织;1.5 编译程序的生成;1. T形图;问题一：如何直接在一个机器上实现C语言编译器？ 解决： 用汇编语言实现一个Ｃ子集的编译程序(P0—人) 用汇编程序处理该程序,得到(P2:可直接运行) 用Ｃ子集编制Ｃ语言的编译程序(P3—人) 用P2编译P3，得到P4;4. 用P2编译P3，得到P4;3.移植;Ｃ语言;1. (人)用Ｃ语言编制B机的Ｃ编译程序P0(C→B) (Ａ机的C编译P1)编译P0，得到在A机上可运行的P2(C→B);3.(Ａ机的P2)编译P0，得到在B机上可运行的P3(C→B);4.本机编译器的利用;5. 编译程序的自动生成;2)语法分析器的自动生成程序;例1-1;例1-1（续）;1.6 本章小结;第2章?高级语言及其文法;2.1 语言概述;2.1 语言概述;2.1 语言概述;2.1 语言概述;2.1 语言概述;2.1 语言概述;2.1 语言概述;2.1 语言概述;形式语言与自动机理论的产生与作用;形式语言与自动机理论的产生与作用;形式语言与自动机理论的产生与作用;形式语言与自动机理论的产生与作用;形式语言与自动机理论的产生与作用;2.2 基本定义;2.2 基本定义;2.2 基本定义;2.2 基本定义;2.2 基本定义;2.2 基本定义;2.2 基本??义;2.2 基本定义;2.2 基本定义;2.2 基本定义;2.2 基本定义;2.2 基本定义;2.2 基本定义;2.3 文法的定义;赋值语句?左部量=右部表达式 左部量?简单变量 左部量? 下标变量 简单变量?a 简单变量?b 简单变量? c 下标变量?m[1] 下标变量?m[2] 下标变量?m[3] 右部表达式?简单变量运算符简单变量 右部表达式?简单变量运算符下标变量 右部表达式?下标变量运算符简单变量 右部表达式?下标变量运算符下标变量 运算符? + 运算符? -;非终结符号集V = {赋值语句，左部量，右部表达式，简单变量，下标变量，运算符} 终结符号集T = {a，b, c,m[1],m[2],m[3], +, -} 语法规则集P = {赋值语句?左部量=右部表达式 ，……} 开始符号S = ?赋值语句?;文法G的形式定义;文法G的形式定义;例2.9 赋值语句的文法;例2.9 赋值语句的文法（续）;产生式的简写;句子的派生(推导)-从产生语言的角度;句子的归约 -从识别语言的角度;基于产生式的变换--推导或归约;(多步)推导;文法G产生的语言;文法G产生的语言(续);推导/归约举例;句型与句子;句型与句子;2.４ 文法的分类(Chomsky体系);1. 上下文有关文法(CSG);2.上下文无关文法(CFG);例 标识符的文法;3. 正规文法(RG);例 非CFL的文法;非上下文无关的语言结构;非上下文无关的语言结构;Chomsky体系——总结;文法的类型;ＢＮＦ范式——Backus-Naur Form Backus-Normal Form;ＢＮＦ范式——Backus-Naur Form Backus-Normal Form;2.5 CFG的语法树;例 句子结构的表示 (文法E→E+E|E*E|(E)|id ）;短语(Phrase); 例：(直接)短语;句柄(Handle)：最左直接短语;用子树解释短语，直接短语，句柄;E;例 短语与分析树 (文法E→E+E|E*E|(E)|id ）;i