编译原理复习资料1.docVIP

一）名词解释 编译程序：把一种程序设计语言写的源程序翻译成与之等价的另一种语言程序的程序称之为编译程序。它与翻译程序的区别是是否生成目标代码。 文法：文法是一个四元组 G （Vn，Vt，S，P 其中Vn为非空有限非终结符集；Vt为非空有限终结符集；S为文法的开始符或者识别符号，亦称公理，S∈Vn；P为产生式集。 确定有穷自动机（DFA :一个有穷自动机M是一个五元组 M （Q，∑，f，q0，Z） 其中，Q为状态的有限集合，每一个元素称为一个状态；∑为输入字符的有限集合，每个元素是一个输入字符；f是状态转换函数，是一个从Q×∑到Q的映射；q0为M的唯一初态（也称开始状态），q0∈Q；Z为M的终态集，Z∈Q。 非确定有穷自动机（NFA ：一个非确定有穷自动机M是一个五元组 M （Q，∑，f，q0，Z） 其中，Q为状态的有限集合；∑为输入字符的有限集合；f是状态转换函数，是一个从Q×（∑∪ ? ）→2Q的映射；q0为开始状态，q0∈Q；Z终态集，Z∈Q。 确定的和非确定的有限自动机之间的重要区别是：（1）非确定的有限自动机的状态转换函数值是一个状态子集，反映的状态转换图上即从一个状态结点出发可以有不只一条同一标记的弧。（2）非确定的有限自动机可以带?转换。 语言：设有文法 G （Vn，Vt，S，P ，其所产生的语言定义为L（G） L（G） α|α∈Vt*∩S * α，S是文法G的开始符号 正规式：正规式是描述程序语言单词的表达式，对于字母∑，其上的正规式及其表示的正规集可以递归定义如下ε和?是∑上的正规式， ε 和 ? 。 ，a是式，它所表示的正规集 a 。 若rs都是正规式，它们表示的正规集分别为R和S，则（r|s）、（rs）、（r）*也是正规式，表示集L。 （4）有限次地使用上述三表达式∑上的正规式。 运算符|”、·”、*”分别称为“或”、“连接”和“闭包”。在正规式的书写中，连接运算符“·”可省略。运算符的优先级从高到低顺序排列为：*”、·”、|”。 即它的任一产生式的右部都不含两个相的非终结符的文法。如果G是一个不含空字符的算法文法，那么只要它的任一对终结符都只满足 ， ， 的关系的一种，则称G是一个算符优先文法。 列表 词法分析器结构 LL 1 分析器的逻辑结构：LL（1）分析器的逻辑结构如下图所示，由总控程序、LL（1）分析表和分析栈构成。其中LL（1）分析表用M[A,a]形式的矩阵表示 A是文法的非终结符号，a是文法的终结符或#）；分析栈用于存放分析过程中的文法符号；总控程序的功能是依据分析表和分析栈联合控制输入字符串的识别和分析，它在任何时候都是根据当前分析栈的栈顶符号X和当前扫描字符a来执行控制功能。 a1 a2 … … an # 输入串$ X … … # 总控程序+LL 1 分析表 分析栈 LL 1 分析器的逻辑结构 LR分析器的逻辑结构：LR分析器的逻辑结构如下图所示。它有一个输入串，这是LR分析器的处理对象，有一个下推分析栈以及一个LR分析总控程序和LR分析表。其中分析栈包括两部分内容，即状态符号qi和文法符号Xi；LR分析表是LR分析器的核心，由两个子表构成，即动作表和状态转换表，LR分析由这两个表来驱动；总控程序即LR分析算法。 a1 a2 … … an # 输入串$ Sm Xm … … … … S0 X0 总控程序+LR分析表 分析栈 LR分析器的逻辑结构示意图 （6）算符优先分析的总控程序 流程图）： 栈置初值K 1，S[K] S 当前输入符号读入a 个 算符优先分析算法流程图 输入 输入缓冲区 预处理子程序 扫描缓冲区 扫描器 S[K]是终结符？ S[K] a K K+1 J k-1 J k S[j] a?或S[j] a S[j] a Error（） J j-1 S[j]…S[K]是最左素短语K j+1,S[K] N Q S[j],j j-1 S[j] Q? S[j]是终结符？ S[j]是终结符？ 结束