编译原理所有名词解释.docxVIP

第一章编译程序是一种程序，它把高级语言编写的源程序翻译成与之在逻辑上等价的机器语言或汇编语言的目标程序。一个高级语言程序的执行通常分为两个阶段，即编译阶段和运行阶段。如果编译生成的目标程序是汇编语言形式，那么在编译与运行阶段之间还要添加一个汇编阶段。解释程序也是一种翻译程序，它将源程序作为输入，一条语句一条语句地读入并解释执行。解释程序与编译程序的主要区别是：编译程序是将源程序翻译成目标程序后再执行该目标程序，而解释程序则是逐条读出源程序中的语句并解释执行，即在解释程序的执行过程中并不产生目标程序。编译过程可以划分成五个阶段：词法分析阶段、语法分析阶段、语义分析和中间代码生成阶段、优化阶段和目标代码生成阶段。词法分析的任务是对构成源程序的字符串进行扫描和分解，根据语言的词法规则识别出一个个具有独立意义的单词；语法分析的任务是在词法分析的基础上，根据语言的语法规则（文法规则）从单词符号串中识别出各种语法单位并进行语法检查；语义分析和中间代码生成阶段的任务是首先对每种语法单位进行静态语义检查，然后分析其含义，并用另一种语言形式来描述这种语义即生成中间代码；优化的任务是对前阶段产生的中间代码进行等价变换或改造，以期获得更为高效（节省时间和空间）的目标代码；目标代码生成阶段的任务是把中间代码（或经优化处、理之后）变换成特编译程序结构示意图定机器上的机器语言程序或汇编语言程序，实现最终的翻译工作。自编译：用某种高级语言书写自己的编译程序。交叉编译：指用A机器上的编译程序来产生可在B机器上运行的目标代码。自展：首先确定一个非常简单的核心语言L0，然后用机器语言或汇编语言书写出它的编译程序T0：再把语言L0扩充到L1，此时有L0 L1，并用L0编写L1的编译程序T1（即自编译）。移植：指A机器上的某种高级语言的编译程序稍加改动后能够在B机器上运行。第二章对程序设计语言的描述是从语法、语义和语用3个因素来考虑的。所谓语法是对语言结构的定义；语义是描述了语言的含义；语用则是从使用的角度去描述语言。形式化的方法：用一整套带有严格规定的符号体系来描述问题的方法。标识符：以字母打头的字母数字串字母表：是元素的非空有穷集合。字符：字母表中的元素称为符号，或称为字符。可以是字母、数字和其他符号。符号串：符号的有穷序列。前缀：指从末尾删除0个或多个符号后得到的符号串。后缀：指从开头删除…..（同上）符号串的运算：符号串的连接、集合的乘积、符号串的幂运算、集合的幂运算、集合A的正闭包A+与闭包A*形式语言：字母表上所有的字符按照某种规则所组成的集合。句子：均对应与字母表中的符号串。文法：是规则的非空有穷集合（描述语言的文法不唯一）文法四元组：G[S]=(VN，VT，P，S) VN ：非终结符集 VT：终结符集（VN ^ VT=空集）P：产生式集S：文法的开始符号直接推导：在推导过程中只使用了一个产生式。推导：经一步到多步推导出结果。（推导：用产生式的右部取代其左部的过程规约：用产生式的左部取代其右部的过程）广义推导：经0步到多步推导出结果。句型：S经0步到多步推导出x且x属于V*（V是VNVT的并集），则x是该文法的一个句型。句子：S经0步到多步推导出x且x属于VT*，则x是该文法的一个句子。句子是一种句型语言：文法G[S]产生的所有句子的集合称为文法G所定义的语言，记为L（G[S]）： L（G[S]）={x|S经一步到多步推导出x且x属于VT*} （文法给定，则语言确定）最左（右）推导：每步推导都坚持替换当前句型最左（右）边的非终结符。（最右推导也称规范推导。用规范推导推导出的句型称为规范句型。其逆过程是最左规约，也成为规范规约）递归规则（产生式递归）：是指在规则的左部和右部具有相同非终结符的规则。如左递归：A-A……右递归：A-……A 递归：A-…A…文法的递归性：对于一文法若存在任一非终结符经过0步或多步可以推导出含有其自身的字符串，则该文法是递归的。（语言无穷，文法递归）（产生式集中无递归规则，文法也可能是递归的。若文法中有直接左（右）递归规则，则称该文法为左递归文法或称文法左递归）短语：直接短语：（肯定是某个产生式的右部）句柄：一个句型的最左直接短语语法树：推导的图形表示。一棵倒立的树，以开始符号作为树根，每步画分支的过程都和推导相对应。子树：语法树中任一结点连同所用分支组成的部分。对应短语简单子树：只有上下两代的子树。对应直接短语文法的二义性：如果一个文法存在某个句子对应两棵不同的语法树（或最左推导或最右推导）则说这个文法是二义性的。（文法二义性不同语言二义性：文法二义性，有时可以找到等价的无二义性的文法，则其对应的语言无二义性；语言若有二义性，则它不存在无二义性的文法）文法和语言的分类：0型文法（无限制文法）：若文法G=