考试复习部分含试题编译原理.pptxVIP

1《编译原理》课程复习

2课程内容要求（希望）牢固掌握基本概念灵活使用基本方法归纳总结所学内容（锻炼提高抽象能力）一、引言二、词法分析三、语法分析四、静态语义分析：语法制导翻译生成中间代码

3第一章引言1语言的翻译*不同的翻译模式：(根据输入语言和输出语言的层次划分)汇编、编译、转换（预处理）、交叉汇编、逆向翻译翻译的2种形态：(根据工作方式划分)高级语言汇编语言机器语言A1L1M1A2L2M2汇编汇编编译编译编译编译转换(预处理)交叉

汇编反汇编反编译编译：先翻译后执行解释：边翻译边执行

42编译器的基本组成*字符流记号流语法树/分析树编译器对两类语句的翻译：声明性语句：填写符号表，生成相应的环境(如对于变量：分配存储空间)操作性(可执行）语句：生成中间代码，如三地址码、注释树等

53编译器的分析/综合模式4编译器的扫描遍数分析（前端）综合（后端）将源程序或源程序的某种形式的中间表示完整分析一遍，称作一遍扫描。5编译器的编写方式手工、借助工具、编译器基础架构

6第二章词法分析词法分析的双重含义：-规定单词形成的规则，称为构词规则/词法规则；-根据词法规则识别输入序列，称为词法分析。主要内容：1模式、记号与单词2记号的说明－模式的形式化描述（正规式与正规集）3记号的识别－有限自动机4从正规式到词法分析器词法分析器的作用：识别记号并交给语法分析器(**)；滤掉源程序中的无用成分；处理与具体平台有关的输入；调用符号表管理器和出错处理器进行相关处理。***

71模式、记号与单词模式（pattern）：产生/识别单词的规则记号（token）：按照某模式识别出的元素单词（lexeme）：被识别出的元素的值(字符串本身)词法分析器的输出：记号序列（也称记号流）记号:=记号种类+记号属性词法分析器的工作方式：单独一遍扫描作为语法分析器的子程序与语法分析器并行工作定义2.1：语言L是有限字母表Σ上、 长度有限的字符串的集合。

82记号的说明－模式的形式化描述1.正规式与正规集：*正规式定义:2种基本正规式、五个运算(正规式与[3型，2型]文法的关系@§3.3)正规式的等价(描述相同的集合)正规式的代数性质(利用正规式的等价对正规式进行化简)2.用正规式描述模式：如何用正规式描述程序设计语言中常见的记号，如标识符、数字、运算符和分隔符等正规式的(5种)简化形式、辅助定义定义2.3表2.6定义2.2

93记号的识别－有限自动机（FA）*NFA与DFA的定义：NFA与DFA的表示：定义、状态转换图、状态转换矩阵；NFA与DFA的2点区别：（NFA的不确定性）当前状态下，对同一字符可能有多于一个的下一状态；可能存在ε状态转移.识别记号的基本方法：自左向右扫描输入序列，并进行状态转移;直到到达某个终态，或无法到达终态。用NFA识别输入序列的弱点：尝试+回朔；模拟DFA的算法2.1：用DFA识别记号.(N|D)FA=(S,Σ,move,s0,F)

104从正规式到词法分析器*构造NFA的Thompson算法(正规式与NFA定义的对应关系)；关键步骤：①分解正规式：按运算的逆序，自上向下递归分解②构造NFA：按运算的正序，自下向上递归构造借助语法树从NFA构造DFA－子集法：ε-闭包(S)与smove(S,a)的计算；

114从正规式到词法分析器*DFA的最小化－可区分的概念：所有不可区分的状态看作是一个状态.（1）初始划分Π：终态组，非终态组;（2）反复分裂每个状态组（借用状态转移矩阵）;（3）选代表，改转移（借用状态转移矩阵）；（4）删除死状态、不可达状态。

12第三章语法分析语法分析的双重含义：-规定各种句子的构成规则，称为语法规则；-根据语法规则识别输入序列（记号流）中的语言结构，

称为语法分析。语法分析的输入是记号流，分析结果是句子，句子具有层次结构的特征，表示该结构的最好方法是树。（记号与终结符的关系?）

语法分析方法：从根到叶子、从叶子到根。主要内容1程序设计语言与文法2有关推导的基本概念(分析树*/语法树*)3自上而下分析(预测分析表*)4自下而上分析(DFA*)

131程序设计语言与文法正规式与正规文法：正规式与正规文法用于描述线性结构，如构成句子的记号(终结符)；识别正规语言的自动机是有限自动机（FA），它们的特征是没有记忆能力；上下文无关文法(CFG)：CFG用于描述层次结构，如构成程序的句子；识别CFL的自动机是下推自动机（PDA），它是在有限自动机的基础