编译原理及其优秀PPT.ppt

《编译原理及其优秀PPT.ppt》由会员分享，可在线阅读，更多相关《编译原理及其优秀PPT.ppt（41页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、编译原理及其现在学习的是第1页，共41页参考书目1 Alfred V.Aho Ravi Sethi Jeffrey D.Ullman Compilers:Principles,Techniques,and Tools 人民邮电出版社。2 Kenneth C.Louden 著 冯博琴 冯岚等译 Compiler Construction Principles and Practice 机械工业出版社。3 金成植 著,编译原理及实现，高等教育出版社。4 吕映芝，编译原理，清华大学教育出版社。现在学习的是第2页，共41页第一章 编译引论主要内容：主要内容：l几个基本概念几个基本概念:翻译程序翻译程序

2、汇编程序汇编程序编译程序编译程序源程序源程序目标程序目标程序l编译器的组成结构、各部分之间的逻辑关系和主要功能；编译器的组成结构、各部分之间的逻辑关系和主要功能；l编译程序的实现途径编译程序的实现途径;l与编译程序相关的其他程序与编译程序相关的其他程序;编辑器编辑器预处理器预处理器连接程序连接程序装配程序装配程序调试程序调试程序现在学习的是第3页，共41页1.1 程序设计语言和编译程序程序设计语言和编译程序从第一台计算机问世至今，半个多世纪以来，程序设计语言经历了由低级向高级的发展，从最初的机器语言、从第一台计算机问世至今，半个多世纪以来，程序设计语言经历了由低级向高级的发展，从最初的机器语言

3、、汇编语言，发展到较高级程序设计语言直至今天的第四代、第五代高级语言。汇编语言，发展到较高级程序设计语言直至今天的第四代、第五代高级语言。一、程序设计语言一、程序设计语言（一）低级语言（一）低级语言l机器语言机器语言l由能被计算机的硬件系统直接执行的机器指令组成，每条机器指令由能被计算机的硬件系统直接执行的机器指令组成，每条机器指令是一串二进制代码，用机器语言编写出来的程序是一串二进制代码是一串二进制代码，用机器语言编写出来的程序是一串二进制代码序列。序列。例：例：x+15 xy Y=x-15 否则否则现在学习的是第4页，共41页l用用PentiumPentium机器语言编写如下程序片段：机器

4、语言编写如下程序片段：1010 1001 0001 0110 0000 0001 0011 1100 0001 1000 0000 0001 0111 1100 0000 01010010 1101 0001 0101 0000 0000 1110 1010 0000 00110000 0101 0001 0101 0000 0000 0101 0011 0001 1000 0000 0001 .0000 0000 0000 0000 0000 0000 0000 0000 l机器语言的特点：机器语言的特点：优点：执行速度快；优点：执行速度快；缺点：缺点：l难学、难记忆、难理解难学、难记忆、难

5、理解;l机器语言程序依赖于具体的机器机器语言程序依赖于具体的机器,不具备移植性；不具备移植性；现在学习的是第5页，共41页汇编语言汇编语言将硬件指令用一些助记符表示。如将硬件指令用一些助记符表示。如ADDADD表示加法操作，表示加法操作，SUBSUB表示表示减法操作等等减法操作等等 。l用用PentiumPentium汇编语言编程示例：汇编语言编程示例：MOV AX,X CMP AX,Y JLS1 SUB AX,15 JMP S2 S1:ADD AX,15 S2:MOV Y,AX .XDWYDW现在学习的是第6页，共41页l汇编语言的优点：比机器语言较易学、易记忆及易理解汇编语言的优点：比机器

6、语言较易学、易记忆及易理解;l汇编语言的缺点：汇编语言程序依赖于具体的机器汇编语言的缺点：汇编语言程序依赖于具体的机器,不具不具备移植性；备移植性；现在学习的是第7页，共41页（二）高级语言（二）高级语言l高级语言：把便于理解的自然语言和数学语言结合在一起而形成高级语言：把便于理解的自然语言和数学语言结合在一起而形成的程序设计语言。的程序设计语言。l高级语言编程示例：高级语言编程示例：if (XY)then Y:=X+15 else Y:=X-15;l高级语言的优点：高级语言的优点：l比汇编语言更容易学，以人为本，面向自然表达，比汇编语言更容易学，以人为本，面向自然表达，易学、易用、易理解、易

7、修改易学、易用、易理解、易修改;l高级语言程序不依赖于具体的机器高级语言程序不依赖于具体的机器,具备移植性。具备移植性。现在学习的是第8页，共41页l高级程序设计语言分类：高级程序设计语言分类：1 1、程序设计语言按功能分类：、程序设计语言按功能分类：科学计算用语言科学计算用语言商用语言商用语言表处理语言表处理语言图形语言图形语言公式处理语言公式处理语言串处理语言串处理语言多用途语言多用途语言 2 2、按处理问题模式分类：、按处理问题模式分类：过程式语言过程式语言函数式语言函数式语言逻辑式语言逻辑式语言对象式语对象式语 3 3、按执行模式分类：、按执行模式分类：顺序语言顺序语言并行语言并行语言

8、现在学习的是第9页，共41页二、高级语言和汇编语言的执行二、高级语言和汇编语言的执行l翻译程序（翻译程序（Translator）：它把用汇编语言或高级语：它把用汇编语言或高级语言编写的程序转换成等价的机器语言程序。言编写的程序转换成等价的机器语言程序。l汇编程序汇编程序(Assembler)：汇编语言的翻译程序称：汇编语言的翻译程序称为汇编程序为汇编程序(Assembler)l编译程序编译程序(Compiler)：高级语言的翻译程序称为编译：高级语言的翻译程序称为编译程序程序,也称为编译器也称为编译器。现在学习的是第10页，共41页l源程序（源程序（Source program）：编译程序的输

9、入对）：编译程序的输入对象象,它是高级语言编写的程序；它是高级语言编写的程序；l目标程序（目标程序（Object program）:编译程序的输出对编译程序的输出对象称为目标程序。目标程序可以是机器语言程序、象称为目标程序。目标程序可以是机器语言程序、汇编语言程序或用户自定义某种中间语言程序。汇编语言程序或用户自定义某种中间语言程序。现在学习的是第11页，共41页三、高级语言的执行方式三、高级语言的执行方式1.编译方式编译方式l编译阶段编译阶段：将源程序改造成另一种在逻辑上等价的目标语言程序；将源程序改造成另一种在逻辑上等价的目标语言程序；l运行阶段：在运行子程序的支持下执行目标程序。运行阶段

10、：在运行子程序的支持下执行目标程序。运运行行子子程程序序是是为为了了支支持持目目标标程程序序的的运运行行而而开开发发的的程程序序，如如系系统统提提供供的标准库函数和目标程序所调用的其它子程序。的标准库函数和目标程序所调用的其它子程序。目标程序目标程序程序的输入数据程序的输入数据运行结果运行结果高级语言高级语言 源程序源程序 编译程序编译程序 （器）（器）现在学习的是第12页，共41页2.解释方式解释方式接接受受某某程程序序语语言言编编写写的的源源程程序序，按按源源程程序序语语句句运运行行时时的的动动态态结结构构，直直接接逐逐句句地地分分析析、翻翻译译并并执执行行。解解释释程程序序相相当当于于源

11、源程程序序的的抽象执行机，是语言的实现系统。抽象执行机，是语言的实现系统。运行结果运行结果 解释程序解释程序 （器）（器）程序的输入数据程序的输入数据高级语言源高级语言源程序程序现在学习的是第13页，共41页解释器和编译器的比较解释器和编译器的比较l解释器是执行系统，编译器是转换系统。解释器是执行系统，编译器是转换系统。l 基于解释执行的程序可以动态修改自身，基于解释执行的程序可以动态修改自身，而基于编译执行的程序而基于编译执行的程序不易胜任，不易胜任，因其需要动态编译技术，难度较因其需要动态编译技术，难度较大。大。l 基于解释方式有利于人机交互。基于解释方式有利于人机交互。l 执行速度执行速

12、度:解释器执行速度要慢。解释器执行速度要慢。l 空间开销空间开销:解释器需要保存的信息较多，空间开销大。解释器需要保存的信息较多，空间开销大。l 利用解释器可自动生成编译器。利用解释器可自动生成编译器。l二者实现技术相似。二者实现技术相似。现在学习的是第14页，共41页3、语言的转换执行方式语言的转换执行方式l假如要实现假如要实现L L语言，现在已有语言，现在已有LL语言的编译程序，就可以先语言的编译程序，就可以先把用把用L L语言编写的程序转换成等价的语言编写的程序转换成等价的LL语言的程序，再利用语言的程序，再利用LL语言的编译程序实现语言的编译程序实现L L语言。语言。L语言编译器语言编

13、译器 转换器转换器 L语言程序语言程序 L语言程序语言程序 目标程序目标程序 现在学习的是第15页，共41页1.2 编译程序的逻辑结构编译程序的逻辑结构l编译程序的基本任务是将源语言程序翻译成等价的目标语言程序。编译程序的基本任务是将源语言程序翻译成等价的目标语言程序。源语言的种类成千上万，从常用的诸如源语言的种类成千上万，从常用的诸如FORTEAN,PASCAL和和C语言，到各种各样的计算机应用领域的专用语言，而语言，到各种各样的计算机应用领域的专用语言，而目标语言也是成千上万的，加上编译程序根据它们构造目标语言也是成千上万的，加上编译程序根据它们构造的不同、所执行的具体功能的差异又分成多种

14、类型，比的不同、所执行的具体功能的差异又分成多种类型，比如：一趟编译的、多趟编译的、具有调试和优化功能的如：一趟编译的、多趟编译的、具有调试和优化功能的等等。尽管存在这些明显的复杂因素，任何编译程序所等等。尽管存在这些明显的复杂因素，任何编译程序所必需执行的主要任务基本是一样的，通过理解这些任务，必需执行的主要任务基本是一样的，通过理解这些任务，使用同样的基本技术，我们可以为各种各样的源语言和使用同样的基本技术，我们可以为各种各样的源语言和目标语言设计和构造编译程序。目标语言设计和构造编译程序。现在学习的是第16页，共41页1.2.1 1.2.1 编译器的逻辑结构编译器的逻辑结构表表 处处 理

15、理 目目标标代代码码生生成成中中间间代代码码优优化化中中间间代代码码生生成成语语义义分分析析语语法法分分析析词词法法分分析析目目标标程程序序源源程程序序错错 误误 处处 理理 现在学习的是第17页，共41页l词法分析词法分析(Lexical Analysis)(Lexical Analysis)u 依依据据语言的词法规则，扫描源程序的字符序列，识别每语言的词法规则，扫描源程序的字符序列，识别每 一个单词及一个单词及其种类，并将其表示成所谓的机内表示其种类，并将其表示成所谓的机内表示TOKEN形式。形式。u单词种类单词种类:关键字关键字:if、then、for、while等等;标识符标识符;常数

16、常数;运算符运算符 特殊符特殊符 分界符分界符:标点符号、左右括号等等标点符号、左右括号等等.u单词的机内表示，即单词的机内表示，即TOKEN形式，一般包括单词属性标识和单词内形式，一般包括单词属性标识和单词内码两个部分。码两个部分。u 在词法分析阶段还要检查括号类配对等词法错误并去掉源程序中在词法分析阶段还要检查括号类配对等词法错误并去掉源程序中注释。注释。u词法分析阶段不依赖于语言的语法定义。词法分析阶段不依赖于语言的语法定义。现在学习的是第18页，共41页词法分析的示例词法分析的示例u某程序片段如下：VAR sum,first,count:real;BEGIN sum:=first+co

17、unt*10 END.u词法分析程序扫描该程序段的字符序列，应识别出下列单词序列：词法分析程序扫描该程序段的字符序列，应识别出下列单词序列：1.关键字 VAR 2.标识符 sum 3.特殊符 ,4.标识符 first 5.特殊符 ,6.标识符 count 7.特殊符 :8.关键字 real 9.特殊符 ;10.关键字 BEGIN 11.标识符 sum 12.特殊符 :=13.标识符 first 14.特殊符 +15.标识符 count 16.特殊符 *17.整形常数 10 18.关键字 END 19.特殊符 .现在学习的是第19页，共41页u假定单词的机内表示，即假定单词的机内表示，即TOKE

18、N结构如下：结构如下：假定关键字假定关键字VAR、real、BEGIN及及END的属性标识分别为的属性标识分别为15、20、23 和和 24,特殊符特殊符“,”、“:”、“:=”、“*”、“+”、“.”及及“;”的属性标识分别为的属性标识分别为30、31、32、33、34、35及及36。单词属性标识单词属性标识单词内码单词内码关键字关键字一关键字关键字一整数码空标识符标识符1标识符标识符常数常数2常数常数特殊符特殊符一特殊符特殊符一整数码空现在学习的是第20页，共41页u词法分析程序扫描该程序段的字符序列，生成下列词法分析程序扫描该程序段的字符序列，生成下列TOKEN序列：序列：1.(15,)

19、2.(1,sum)3.(30,)4.(1,first)5.(30,)6.(1,count)7.(31,)8.(20,)9.(36,)10.(23,)11.(1,sum )12.(32,)13.(1,first)14.(34,)15.(1,count)16.(33,)17.(2,10 )18.(24,)19.(35,)现在学习的是第21页，共41页l语法分析语法分析（Syntax Analysis)Syntax Analysis)依据源语言的语法规则，依据源语言的语法规则，扫描源程序的字符序列扫描源程序的字符序列（当词法分析程序是语法分析程序的子程序时）或（当词法分析程序是语法分析程序的子程序时

20、）或TokenToken序列序列（当词法分析程序是独立的一遍时）（当词法分析程序是独立的一遍时），确定整个输入串是否构成一个语法上正确的程序。确定整个输入串是否构成一个语法上正确的程序。一般来说分析时发现错误输出错误位置及类型，一般来说分析时发现错误输出错误位置及类型，如未发现错误则将如未发现错误则将源程序转换成语法树的形式，源程序转换成语法树的形式，目的是把词法分析的结果分解成各种语法单位目的是把词法分析的结果分解成各种语法单位。现在学习的是第22页，共41页语法分析的示例语法分析的示例lsum:=first+count*10 +:=*赋值语句表达式表达式标识符(1,sum)表达式标识符(1

21、,first)表达式标识符(1,count)表达式常数(2,10)现在学习的是第23页，共41页+:=*(1,sum)(1,count)(1,first)(2,10)现在学习的是第24页，共41页l语义分析语义分析（Semantic AnalysisSemantic Analysis）审查审查源程序有无源程序有无语义错误语义错误，为为代代码码生成生成 阶阶段收集段收集类类型信息。型信息。l语义错误检查又可分为类型检查和一般的语义检查。语义错误检查又可分为类型检查和一般的语义检查。类型检查主要包含以下内容：类型检查主要包含以下内容：各种条件表达式的类型是不是各种条件表达式的类型是不是boolea

22、n型型?运算符的分量的类型是否相容运算符的分量的类型是否相容?赋值语句的左右部的类型是否相容赋值语句的左右部的类型是否相容?形参和实参的类型是否相容形参和实参的类型是否相容?下标表达式的类型是否为所允许的类型下标表达式的类型是否为所允许的类型?变体记录中表示情形的常量是否为合法类型变体记录中表示情形的常量是否为合法类型?函数说明中的函数类型和返回值的类型是否一致函数说明中的函数类型和返回值的类型是否一致?现在学习的是第25页，共41页l除了上述类型检查外，语义分析还要进行如下一些语除了上述类型检查外，语义分析还要进行如下一些语义检查：义检查：VE中的中的V是不是变量是不是变量,而且是数组类型？

23、而且是数组类型？V.id中的中的V是不是变量是不是变量,而且是记录类型而且是记录类型?id是不是该记录是不是该记录类型中的域名类型中的域名?V中的中的V是不是指针或文件变量？是不是指针或文件变量？y+f(.)中的中的f是不是函数名是不是函数名?形参个数和实参个数是否一致形参个数和实参个数是否一致?p(.)语句中的语句中的p是不是过程名是不是过程名?形参个数和实参个数是否一形参个数和实参个数是否一致致?每个使用性标识符是否都有声明每个使用性标识符是否都有声明?在同层内有无标识符被在同层内有无标识符被声明多次声明多次?标号是否有声明标号是否有声明?有无重复声明和重复定位错误有无重复声明和重复定位错

24、误?有无非法有无非法转入错误？转入错误？子界类型中的下界和上界类型是否相容子界类型中的下界和上界类型是否相容?下界是否小于等下界是否小于等于上界？于上界？现在学习的是第26页，共41页词义分析的示例词义分析的示例VAR first:real;count：char;BEGIN sum:=first+count*10 END.词义错误：词义错误：1、sum有使用而无定义；有使用而无定义；2、count为字符类型变量不能进行乘法运算。为字符类型变量不能进行乘法运算。现在学习的是第27页，共41页l中间代码生成中间代码生成（Intermediate Code GenerationIntermediat

25、e Code Generation）l 为优化源程序、为编译程序便于移植和修改为优化源程序、为编译程序便于移植和修改、将源程序转换成一将源程序转换成一种称为中间代码的内部表示形式。种称为中间代码的内部表示形式。l 中间代码是一种简单的含义明确的记号系统，形式有多种，常见的有中间代码是一种简单的含义明确的记号系统，形式有多种，常见的有后缀式（栈式）中间代码、三地址中间代码（三元式和四元式）、图结后缀式（栈式）中间代码、三地址中间代码（三元式和四元式）、图结构中间代码（树，构中间代码（树，DAGDAG）。）。例：例：VAR sum,first,count:real;BEGIN sum:=first

26、+count*10 END.画线语句部分生成如下四元式形式的中间代码序列：画线语句部分生成如下四元式形式的中间代码序列：1 1、（、（int-to-real,int-to-real,10,-,t,-,t1 1)2 2、（、（*,count,t,t1 1,t,t2 2)3 3、（、（+,+,first,t,t2 2,t,t3 3)4 4、（、（:=,t:=,t3 3,-,-,sum)现在学习的是第28页，共41页l中间代码优化中间代码优化（Intermediate Code Intermediate Code OptimizationOptimization）在不改变源程序语义的前提下在不改变源

27、程序语义的前提下变换或改造中间代码，变换或改造中间代码，使生成的目标代码更为高效，即使生成的目标代码更为高效，即缩短运行时间或节省缩短运行时间或节省存储空间。存储空间。主要的优化方式包括：主要的优化方式包括：常量表达式优化常量表达式优化公共子表达式优化公共子表达式优化不变表达式的循环外提不变表达式的循环外提削减运算强度等削减运算强度等现在学习的是第29页，共41页l目标代码生成目标代码生成（Code GenerationCode Generation）中中间间代代码变换为码变换为特定机器上的特定机器上的机器指令代码（机器指令代码（绝对绝对指指令代令代码码或可重定位的指令代或可重定位的指令代码码

28、）或）或汇编汇编指令代指令代码码。例：sum:=first+count*10生成如下生成如下汇编汇编代代码码：1.MOV count ,R22.MULT 10.0,R23.MOV first ,R14.ADD R1,R25.MOV R1,sum 现在学习的是第30页，共41页l表格管理表格管理（Symbol-Table Management)Symbol-Table Management)变编译程序在对源程序的分析过程中，需要创建和管理一系列的变编译程序在对源程序的分析过程中，需要创建和管理一系列的表格，以登记源程序的各类信息和编译各阶段的进展情况。随着表格，以登记源程序的各类信息和编译各阶段

29、的进展情况。随着编译过程的进行需要不断的建表、查表和填表，或修改表中的某编译过程的进行需要不断的建表、查表和填表，或修改表中的某些数据，或从表中查找相关信息，这些活动贯穿整个编译过程的些数据，或从表中查找相关信息，这些活动贯穿整个编译过程的始终。因此，合理的设计和使用表格是编译程序构造中的一个非始终。因此，合理的设计和使用表格是编译程序构造中的一个非常重要的问题。不少编译程序都设立一些专门子程序（称为表格常重要的问题。不少编译程序都设立一些专门子程序（称为表格管理程序）负责管理表格。管理程序）负责管理表格。现在学习的是第31页，共41页错误处理错误处理（Error Detection and

30、Reporting)Error Detection and Reporting)一一个个编编译译程程序序不不仅仅应应能能对对书书写写正正确确的的程程序序进进行行翻翻译译，而而且且应应能能对对出出现现在在源源程程序序中中的的错错误误进进行行处处理理。错错误误包包括括词词法法错错误误、语语法法错错误误、静静态态语语义义错错误误、动动态态语语义义错错误误,其其中中动动态态语语义义错错误误只只能能在在运运行行目目标标程程序序时时才才能能发发现现。在在编编译译程程序序的的各各个个阶阶段段都都要要有有错错误误处处理理部部分分，词词法法错错误误和和语语法法错错误误都都集集中中一一次次完完成成检检查查，而而语

31、语义义检检查查则则分分散散在在以以后后的的各各个个阶阶段段在在完完成成别别的的工工作时顺便完成。作时顺便完成。现在学习的是第32页，共41页1.2.2 遍遍（Pass）所谓所谓“遍遍”就是对源程序或源程序的中间表示形就是对源程序或源程序的中间表示形式从头到尾扫描一次，并作加工处理，生成新的式从头到尾扫描一次，并作加工处理，生成新的中间结果或目标程序。中间结果或目标程序。现在学习的是第33页，共41页1.2.3 编译程序的前端和后端编译程序的前端和后端l前端主要由与源语言有关但与目标机无关的那些部分前端主要由与源语言有关但与目标机无关的那些部分组成。编译前端通常包括词法分析、语法分析、语义组成。

32、编译前端通常包括词法分析、语法分析、语义分析、中间代码生成，与目标机无关的中间代码优化分析、中间代码生成，与目标机无关的中间代码优化部分也可包含在前端部分也可包含在前端,当然前端也包括相应部分的错当然前端也包括相应部分的错误处理。编译前端是面向源语言的。误处理。编译前端是面向源语言的。l编译后端包括与目标机有关的中间代码优化部分编译后端包括与目标机有关的中间代码优化部分和目标代码生成等。一般来说，这些部分与源语和目标代码生成等。一般来说，这些部分与源语言无关而仅仅依赖于中间语言。编译后端是面向言无关而仅仅依赖于中间语言。编译后端是面向目标语言的。目标语言的。现在学习的是第34页，共41页 源程

33、序文件源程序文件预处理器预处理器标准源程序文件标准源程序文件编译程序编译程序 汇编代码汇编代码汇编程序汇编程序可重定位的目标代码可重定位的目标代码连接连接/装配程序装配程序绝对目标代码绝对目标代码高高级级语语言言程程序序到到可可执执行行代代码码的的转转换换过过程程1.3 其它与编译程序相关的程序其它与编译程序相关的程序编辑器编辑器调试程序调试程序高级语言的翻译程序高级语言的翻译程序(的核心程序的核心程序)称为编译程序称为编译程序,目标程目标程序可以是机器语言程序、汇编语言程序或用户自定义的序可以是机器语言程序、汇编语言程序或用户自定义的某种中间形式的语言。某种中间形式的语言。现在学习的是第35

34、页，共41页l编辑器（编辑器（editor）为用户输入源程序文件提供一般的编辑功能，为用户输入源程序文件提供一般的编辑功能，有的还具有语法制导的结构化功能和其它分析、提示、检查有的还具有语法制导的结构化功能和其它分析、提示、检查和自动提供关键字或与当前关键字相匹配的关键字等高级编和自动提供关键字或与当前关键字相匹配的关键字等高级编辑功能等。辑功能等。l 预处理器（预处理器（preprocessor）预处理器是翻译工作开始之前由编译器调用的独立程序，它所预处理器是翻译工作开始之前由编译器调用的独立程序，它所做的工作包括删除源程序中的注释、执行宏替换以及包含文做的工作包括删除源程序中的注释、执行宏

35、替换以及包含文件的嵌入等。件的嵌入等。l 连接程序（连接程序（linker）连接程序负责将分别在不同的目标文件中编译或汇编的代码集中连接程序负责将分别在不同的目标文件中编译或汇编的代码集中到一个可执行文件中，并将目标程序和标准库函数的代码以及计到一个可执行文件中，并将目标程序和标准库函数的代码以及计算机操作系统提供的资源连接在一起。连接程序对操作系统和目算机操作系统提供的资源连接在一起。连接程序对操作系统和目标机有极大的依赖性。标机有极大的依赖性。现在学习的是第36页，共41页l装配程序（装配程序（loader）装配程序用来把程序加载到内存储器中，以便执行。装配程序用来把程序加载到内存储器中，

36、以便执行。由于用户的程序经汇编或编译后生成的目标代码通常采用相对地址的形由于用户的程序经汇编或编译后生成的目标代码通常采用相对地址的形式，它的起始地址是不确定的，这样的代码被称为可重定位的。式，它的起始地址是不确定的，这样的代码被称为可重定位的。装入程序可处理所有的与指定的基地址或起始地址有关的可重定位的地址，装入程序可处理所有的与指定的基地址或起始地址有关的可重定位的地址，它使得可执行代码更加灵活。它使得可执行代码更加灵活。l调试程序（调试程序（debugger）调试程序是可在被编译了的程序中判定执行错误的程序。调试程序是可在被编译了的程序中判定执行错误的程序。现在学习的是第37页，共41页

37、l在高级语言发展的早期，这些工具都是独立的，缺乏整体性。在高级语言发展的早期，这些工具都是独立的，缺乏整体性。随着程序设计语言的发展，编辑器、预处理器、编译器、连随着程序设计语言的发展，编辑器、预处理器、编译器、连接程序、装配程序、调试程序及项目管理程序等这些工具往接程序、装配程序、调试程序及项目管理程序等这些工具往往被集成在一起，构成基于窗口的交互式集成开发环境（往被集成在一起，构成基于窗口的交互式集成开发环境（IDE），集编辑、编译、调试、连接、运行等功能于一体。在），集编辑、编译、调试、连接、运行等功能于一体。在这种集成开发环境中，编译程序起到核心作用。这种集成开发环境中，编译程序起到核

38、心作用。现在学习的是第38页，共41页1.4 编译程序的实现途径一、开发编译程序的必要条件一、开发编译程序的必要条件实现一个编译程序应从以下三方面入手：实现一个编译程序应从以下三方面入手：l源语言：对源语言的词法、语法和语义要有准确无误源语言：对源语言的词法、语法和语义要有准确无误 的理解，否则难以保证编译程序的正确性。的理解，否则难以保证编译程序的正确性。l目标语言：对目标语言要有很好的了解，否则会生成目标语言：对目标语言要有很好的了解，否则会生成 质量不高的目标代码。若选用机器语言作质量不高的目标代码。若选用机器语言作 为目标语言，更需要深入了解目标机的软为目标语言，更需要深入了解目标机的

39、软 件、硬件的有关资源、环境及特点。件、硬件的有关资源、环境及特点。l编译技术：编译技术：确定对编译程序的要求，如搞不搞优化，搞优化搞到哪一级等等。确定对编译程序的要求，如搞不搞优化，搞优化搞到哪一级等等。根据编译程序的规模，确定编译程序的扫描次数、每趟扫描的具体任务根据编译程序的规模，确定编译程序的扫描次数、每趟扫描的具体任务和所要采用的技术。和所要采用的技术。设计各遍扫描程序的算法并加以实现设计各遍扫描程序的算法并加以实现。现在学习的是第39页，共41页二、编译程序的开发途径二、编译程序的开发途径1、预处理方法（预处理方法（转换法转换法）用于语言的扩充。设已有用于语言的扩充。设已有L语言的

40、编译器，其扩充语言语言的编译器，其扩充语言L1的编译器可通过语言转换的编译器可通过语言转换程序将程序将L1程序转换为程序转换为L程序，利用程序，利用L的编译器，从而实现的编译器，从而实现L1的编译器。的编译器。、移植法移植法 同一语言的编译器在不同机器间的移植。方法：同一语言的编译器在不同机器间的移植。方法：a.目标代码的转换目标代码的转换b.交叉编译：交叉编译：修改中间代码到目标代码的转换修改中间代码到目标代码的转换3、自展法自展法 先用目标机的汇编语言或机器语言书写源语言的子语言集先用目标机的汇编语言或机器语言书写源语言的子语言集1的编译器、的编译器、再用源语言子语言再用源语言子语言1书写

41、源语言的子语言书写源语言的子语言2的编译器、的编译器、，直至完成源语言的，直至完成源语言的编译器。自己编写自己的编译器。编译器。自己编写自己的编译器。4、工具法工具法 利用编译各个阶段的自动生成工具自动生成相应部分。如：应用利用编译各个阶段的自动生成工具自动生成相应部分。如：应用LEX自自动生成词法分析器、应用动生成词法分析器、应用YACC自动生成语法分析器。目前应用于编译器后端的工自动生成语法分析器。目前应用于编译器后端的工具还不很成熟。具还不很成熟。5、理论法（自动生成法）理论法（自动生成法）根据对编译程序的描述，由计算机自动生成编译程序根据对编译程序的描述，由计算机自动生成编译程序。目。

42、目前，语法分析的自动生成工具比较成熟，但是整个编译程序的自动生成技术还不前，语法分析的自动生成工具比较成熟，但是整个编译程序的自动生成技术还不是很成熟，虽然有基于属性文法的编译程序自动生成器和基于指称语义的编译程是很成熟，虽然有基于属性文法的编译程序自动生成器和基于指称语义的编译程序自动生成器，但产生目标程序的效率很低，离实用尚有一段距离。该领域的发序自动生成器，但产生目标程序的效率很低，离实用尚有一段距离。该领域的发展期待于形式化描述理论的发展。展期待于形式化描述理论的发展。现在学习的是第40页，共41页学习编译原理的目的 l 理解语言，编写出高效的代码，提理解语言，编写出高效的代码，提高软件设计技术。高软件设计技术。l 灵活设计、实现自定义语言。灵活设计、实现自定义语言。l 应用于涉及元级操作的实现。应用于涉及元级操作的实现。现在学习的是第41页，共41页