2020 2021学年编译原理考试重点.doc

编译原理考试重点本资源为2020-2021学年编译原理考试重点，涵盖了编译器、解释器、词法分析、语义分析、中间代码生成、中间代码优化、目标代码生成、符号表、出错处理、语言、正规式、记号、模式、NFA、DFA、上下文无关文法、终结符、非终结符、文法产生式、推导、归约、句子、句型、二义性、下推自动机、First集、Follow集、活前缀、移进归约冲突、语法制导翻译、继承属性、综合属性、三地址码、四元式等概念和技术。一、编译器和解释器*编译器：将源程序翻译成目标程序，然后根据目标程序输入数据得到运行结果。 *解释器：一边翻译源程序，一边执行解释后的代码。二、词法分析*词法分析：根据词法规则从左至右读取源程序，识别出源程序的各个记号，每个记号代表一类单词。识别单词，至少分以下几大类：关键字（保留字）、标识符、字面量、特殊符号。三、语法分析*语法分析：根据语法规则识别出记号流中的结构，并构造一棵能正确反映该结构的树。四、语义分析*语义分析：根据语义规则对语法树中的语法单元进行静态语义检查，保证语法正确的结构在语义上也是合法的。五、中间代码生成*中间代码生成：根据语义分析器生成的一种既接近目标语言，又与具体机器无关的表示，便于优化与代码生成。六、中间代码优化*中间代码优化：可分为局部优化、循环优化、全局优化等；优化实际上是一个等价变换，变换前后的指令序列完成同样的功能，但在占用的空间上和程序执行的时间上都更省、更有效。七、目标代码生成*目标代码生成：生成不同形式的目标代码－汇编语言形式、可重定位二进制代码形式、内存形式（Load-and-Go）。八、符号表*符号表：记录源程序中符号的必要信息，并加以合理组织，便于各阶段对它们快速精准的查找和操作。九、出错处理*出错处理：检查错误的位置、检查错误的性质（词法、语义…）、错误恢复。十、语言*语言：语言L是有限字母表Σ上有限长度字符串的集合。十一、正规式*正规式：一种用来描述正则语言的更紧凑的表示方法。十二、记号和模式*记号：按照某个模式识别出的元素。 *模式：产生和识别元素的规则。十三、 NFA和DFA * NFA：不确定的有限自动机。 * DFA：确定的有限自动机。十四、上下文无关文法*上下文无关文法：用于描述层次结构。十五、终结符和非终结符*终结符：小写英文字母a,b,c…表示非终结符是文法所定义语言的基本符号。 *非终结符：大写英文字母A,B,C…表示非终结符是用来表示语法成分的符号。十六、文法产生式*文法产生式：每个文法产生式都定义了一个非终结符号以及可能的扩展（由非终结符号和终结符号组成的序列）。十七、推导和归约*推导：CFG（产生式）通过推导的方法产生语言。 *归约：归约是推导的逆过程，一个反复用产生式的左部替换产生式的右部，谋求对输入序列进行匹配的过程。十八、句子和句型*句子：即我们把上下文无关语言中的元素，称为句子。 *句型：即句子的类型。十九、二义性*二义性：若G对同一句子产生不止一棵分析树，则称G是二义的。二十、下推自动机*下推自动机：由一个只读头、一个下推栈和一个有限状态转移控制组成。工作模式是一种放幻灯片的方式，此处每张“幻灯片”称为一个格局。二十一、 First集和Follow集* First集：通俗地讲，α的FIRST集合就是从α开始可以导出的文法符号序列中的开头终结符。 * Follow集：而A的FOLLOW集合，就是从开始符号可以导出的所有含A的文法符号序列中紧跟A之后的终结符。二十二、活前缀*活前缀：出现在移进-归约分析器栈中的右句型的前缀，被称为文法G的活前缀。二十三、移进归约冲突*移进归约冲突：A->β1.β2和B->β1.既可移进又可归约，称为移进/归约冲突。二十四、语法制导翻译*语法制导翻译：基本思想是为产生式配上语义规则并在适当的时刻执行。它以语法分析为基础在语法分析得到语言结构的结果时，对附着于此结构的语义进行处理，如计算、生成中间代码等将语言结构的语义以属性的形式赋予代表此结构的文法符号，而属性的计算以语义规则的形式赋予由文法符号组成的产生式。二十五、继承属性和综合属性*继承属性：将属性从父节点传递给子节点。 *综合属性：将属性从子节点传递给父节点。二十六、三地址码和四元式*三地址码：一种中间代码表示形式。 *四元式：对三元式的改进，在将表示计算结果的三元式序号用一个显式的变量表示，从而使得代码生成更加灵活和高效。