编译原理总复习.pptVIP

总复习;〔一〕根本概念题：

一、编译程序的概念

编译程序是现代计算机系统的根本组成局部之一。简而言之,编译程序就是一种语言翻译程序。所谓翻译程序，是指这样一个程序，它能将高级程序设计语言程序翻译成逻辑等价的低级语言(汇编语言,机器语言)程序。编译程序一般由词法分析程序、语法分析程序、语义分析程序、中间代码生成程序、目标代码生成程序、代码优化程序、表格管理程序和出错处理程序等成分构成。;一个编译软件，实际涉及三种语言：源语言、目标语言、实现语言。

源语言：SourceLanguage

目标语言：TargetorObjectLanguage

实现语言：ImplementationL

常常使用T型图来表示的一个编译器涉及的三个语言之间的关系。

;二、请解释编译程序的前端和后端的概念，试问前端通常包括那些阶段，后端包括那些阶段？

编译程序的前端只依赖于源语言，由几乎独立于目标机器的阶段或阶段的一局部组成。编译程序的前端通常包括词法分析程序、语法分析程序、语义分析程序、中间代码生成程序及相关的表格管理程序和出错处理程序。编译程序的后端是指编译器中依赖于目标机器的局部,它们一般独立于源语言，而与中间代码有关。通常包括目标代码生成程序、代码优化程序以及相关的表格管理程序和出错处理程序。;三、语言的语法描述

语言的语法描述方法有其三，用自然语言描述语言的语法，用语法图描述语言的语法和用巴科斯-瑙尔范式及扩充的巴科斯-瑙尔范式(EBNF)两种形式给出语言的语法描述。

用语法图描述语言的语法与EBNF描述相比较：

语法图描述：直观，易读，易写。

EBNF表示：形式化强，易机器识别。

;四、说明语法的一个工具是文法，这是形式语言理论的根本概念之一。当我们表述一种语言时，无非是说明这种语言的句子，如果语言只含有有穷多个句子，那么只需列出句子的有穷集就行了，但对于含有无穷句子的语言来讲，存在着如何给出它的有穷表示的问题。事实上，使用文法作为工具，不仅为了严格地定义句子的结构，也是为了用适当条数的规那么把语言的全部句子描述出来，是以有穷的集合刻划无穷的集合的工具。

在形式上语言是符号串的集合。符号串是由字母表中的符号所组成的任何有穷序列。符号串的运算和符号串集合的运算。和、乘积、方幂与闭包。;五、请写出Chomcky关于文法的定义。

Chomcky文法的定义：文法G定义为四元组,记为:

G=(VN,VT,P,S)

其中：VN—非空有限的非终结符号集

VT—非空有限的终结符号集

P—产生式集

S—开始符号/识别符号

S∈VN

;六、例：文法：E→X|E+X

X→Y|X*Y

Y→〔E〕|i

请判定该文法是那类文法？

答：根据Chomcky文法的定义，该文法是2类文法，即上下文无关文法。

七、*请说明有关句型、句子、句柄概念？

答：设G[S]是一文法，如果符号串x是从文法的识别符号推导出来的，那么称符号串x是文法G[S]的句型。假设符号串x还满足仅由终结符号组成的条件，那么称x为G[S]的句子。一个句型的最左直接短语称为该句型的句柄。;八、请说明有关标准句型的概念？

答：最右推导，即推导的每一步都是替换当前句型最右边的非终结符，被称为标准推导，由标准推导得到的句型称为标准句型。

九、简单说明词法分析程序的主要任务。

答：词法分析程序是编译程序的一个构成成分，它的主要任务是扫描源程序，按构词规那么识别单词，并报揭发现的词法错误。;十、程序设计语言的单词符号一般可分成以下5种：

①保存字，也称关键字。

②标识符，用来表示各种名字，如常量名、变量名和过程名等。

③常数，各种类型的常数，如25，3.1415，TRUE和“ABC”等。

④运算符，如+，*，=等。

⑤界符，如逗点，分号，括号等。;十一、程序设计语言的单词可用正规文法描述。正规文法是右线性文法,文法G=(VN,VT,P,S),P中的每一条规那么形为A→aB或A→a,其中A,B∈VN,a∈VT。正规文法所描述的是VT上的正规集〔正规文法描述的语言的句子的集合〕。正规式也称正那么表达式，也是表示正规集的数学工具。正规式说明单词的模式，也就是说明单词组成的形式规那么，正规集那么是满足这些规那