资源描述：
《编译原理基本概念.doc》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。
1、1．编译程序编译程序是一种翻译程序，它将高级语言所写的源程序翻译成等价的机器语言或汇编语言的目标程序。2．词法分析（Lexicalanalysis或Scanning）和词法分析程序（Lexicalanalyzer或Scanner）词法分析阶段是编译过程的第一个阶段。这个阶段的任务是从左到右一个字符一个字符地读入源程序，即对构成源程序的字符流进行扫描然后根据构词规则识别单词(也称单词符号或符号)。词法分析程序实现这个任务。词法分析程序可以使用lex等工具自动生成。3．语法分析（Syntaxanalysis或Parsing）
2、和语法分析程序（Parser）语法分析是编译过程的一个逻辑阶段。语法分析的任务是在词法分析的基础上将单词序列组合成各类语法短语，如“程序”，“语句”，“表达式”等等.语法分析程序判断源程序在结构上是否正确.源程序的结构由上下文无关文法描述.4．语义分析（Syntaxanalysis）及中间代码生成语义分析是编译过程的一个逻辑阶段.语义分析的任务是对结构上正确的源程序进行上下文有关性质的审查,进行类型审查.例如一个C程序片断:intarr[2],b;b=arr*10;源程序的结构是正确的.语义分析将审查类型并报告错误:不能
3、在表达式中使用一个数组变量,赋值语句的右端和左端的类型不匹配.语义分析时，根据语句的含义，可对它进行翻译，用另一种语言形式（比源语言更接近于目标语言的一种中间代码或直接用目标语言）来描述这种语义。5．代码优化代码优化的任务是对前阶段产生的中间代码进行等价变换或改造，以期获得更为高效的，即省时间和空间的代码。6．目标代码生成目标代码的生成的任务是将中间代码变换成特定机器上的绝对指令代码或可重定位的指令代码或汇编指令代码。7．遍8．前端（Front－end）和后端（Backend）有时，常常把编译的过程分为前端(fronte
4、nd)和后端(backend)，前端由那样一些阶段组成：这些阶段的工作主要依赖于源语言而与目标机无关。通常这些阶段包括词法分析、语法分析、语义分析和中间代码生成，某些优化工作也可在前端做，也包括与前端每个阶段相关的出错处理工作和符号表管理工作。后端工作指那些依赖于目标机而一般不依赖源语言，只与中间代码有关的那些阶段，即目标代码生成，以及相关出错处理和符号表操作。编译程序和解释程序1．Lex一个词法分析程序的自动生成工具。它输入描述构词规则的一系列正规式,然后构建有穷自动机和这个有穷自动机的一个驱动程序,进而生成一个词法分
5、析程序.2．Yacc一个语法分析程序的自动生成工具。它接受语言的文法,构造一个LALR(1)分析程序.因为它采用语法制导翻译的思想,还可以接受用C语言描述的语义动作,从而构造一个编译程序. Yacc是Yetanothercompilercompiler的缩写.3．源语言（Sourcelanguage）和源程序（Sourceprogram）被编译程序翻译的程序称为源程序,书写该程序的语言称为源语言.4．目标语言（ObjectlanguageorTargetlanguage）和目标程序（ObjectprogramorTarg
6、etprogram） 编译程序翻译源程序而得到的结果程序称为目标程序,书写该程序的语言称为目标语言.5．中间语言（中间表示）（Intermediatelanguage(representation)）在进行了语法分析和语义分析阶段的工作之后，有的编译程序将源程序变成一种内部表示形式，这种内部表示形式叫做中间语言或中间表示或中间代码。所谓“中间代码”是一种结构简单、含义明确的记号系统，这种记号系统复杂性介于源程序语言和机器语言之间，容易将它翻译成目标代码。另外，还可以在中间代码一级进行与机器无关的优化。常见的中间代码形式
7、有：逆波兰式、三元式、四元式、树形表示和三地址代码。6．文法（Grammars）文法是用于描述语言的语法结构的形式规则。文法G定义为四元组(VN，VT，P，S)。其中VN为非终结符号(或语法实体，或变量)集；VT为终结符号集；P为产生式(也称规则)的集合；产生式(规则)是形如α→β或a::=b的(a,b)有序对,其中α∈(VN∪VT)*且至少含有一个非终结符，而β∈(VN∪VT)*。VN，VT和P是非空有穷集。S称作识别符号或开始符号，它是一个非终结符，至少要在一条规则中作为左部出现。一个文法的例子:G=(VN={A，R
8、},P={0,1}，P={A→0R，A→01,R→A1},S=A)7．文法分类（AhierarchyofGrammars）著名语言学家NoamChomsky定义了四类文法和四种形式语言类，文法的四种类型分别是0型、1型、2型和3型。几类文法的差别在于对产生式施加不同的限制，分别是：0型文法(短语结构文法)(phras
