编译总复习.ppt

总复习;（一） 基本概念题： 一、*编译程序的概念 编译程序是现代计算机系统的基本组成部分之一。简而言之, 编译程序就是一种语言翻译程序。所谓翻译程序，是指这样一个程序，它能将高级程序设计语言程序翻译成逻辑等价的低级语言(汇编语言,机器语言) 程序。编译程序一般由词法分析程序、语法分析程序、语义分析程序、中间代码生成程序、目标代码生成程序、代码优化程序、表格管理程序和出错处理程序等成分构成。; 一个编译软件，实际涉及三种语言：源语言、目标语言、实现语言。 源语言：Source Language 目标语言：Target or Object Language 实现语言：Implementation L 常常使用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上的正规集（正规文法描述的语言的句子的集合）。正规式也称正则表达式，也是表示正规集的数学工具。正规式说明单词的模式，也就是说明单词组成的形式规则，正规集则是满足这些