以下为《csdn编译原理——常见名词解释》的无排版文字预览，完整格式请下载

下载前请仔细阅读文字预览以及下方图片预览。图片预览是什么样的，下载的文档就是什么样的。

编译原理——常见名词解释

第一章

编译程序是一种程序，它把高级语言编写的源程序翻译成与之在逻辑上等价的机器语言或汇编语言的目标程序。

一个高级语言程序的执行通常分为两个阶段，即编译阶段和运行阶段。如果编译生成的目标程序是汇编语言形式，那么在编译与运行阶段之间还要添加一个汇编阶段。

解释程序也是一种翻译程序，它将源程序作为输入，一条语句一条语句地读入并解释执行。

解释程序与编译程序的主要区别是：编译程序是将源程序翻译成目标程序后再执行该目标程序，而解释程序则是逐条读出源程序中的语句并解释执行，即在解释程序的执行过程中并不产生目标程序。

编译过程可以划分成五个阶段：词法分析阶段、语法分

析阶段、语义分析和中间代码生成阶段、优化阶段和目

标代码生成阶段。词法分析的任务是对构成源程序的字

符串进行扫描和分解，根据语言的词法规则识别出一个

个具有独立意义的单词；语法分析的任务是在词法分析

的基础上，根据语言的语法规则（文法规则）从单词符

号串中识别出各种语法单位并进行语法检查；语义分析

和中间代码生成阶段的任务是首先对每种语法单位进行

静态语义检查，然后分析其含义，并用另一种语言形式

来描述这种语义即生成中间代码；优化的任务是对前阶

段产生的中间代码进行等价变换或改造，以期获得更为

高效（节省时间和空间）的目标代码；目标代码生成阶段

的任务是把中间代码（或经优化处、理之后）变换成特 编译程序结构示意图

定机器上的机器语言程序或汇编语言程序，实现最终的翻译工作。

自编译：用某种高级语言书写自己的编译程序。

交叉编译：指用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 内容过长，仅展示头部和尾部部分文字预览，全文请查看图片预览。 句(包括停语句自身)。

循环优化：对循环中的代码可以实行代码外提、强度削弱和删除归纳变量等优化。

第九章

目标代码的形式：(1)能够立即执行的机器语言代码 (2)待装配的机器语言模块 (3)汇编语言程序

待用信息：在一个基本块中，四元式i对变量A定值，如果在I后面的四元式j要引用A，而从i到j中的四元式没有其他对A的定制点，则称j是四元式i中对变量A的待用信息，同时也称A是活跃的。若A被多处引用则可构成待用信息链与活跃信息链。

活跃信息：

生成代码生成器的自动生成器需要解决哪些问题：机器的体系结构不统一、自动生成的代码质量问题、代码生成器应与机器无关的优化部分接口，合理的代码生成速度。

[文章尾部最后300字内容到此结束,中间部分内容请查看底下的图片预览]

以上为《csdn编译原理——常见名词解释》的无排版文字预览，完整格式请下载

下载前请仔细阅读上面文字预览以及下方图片预览。图片预览是什么样的，下载的文档就是什么样的。