编译原理第二章2.pptVIP

* * §2.3 句型的分析 句型的分析是指构造一种算法，用以判断所给符号串是否为某一文法的句型(或句子) 。 分两类方法： 自顶向下分析：从开始符推导出句子或句型 自底向上分析：从句子或句型归约出开始符 1. 规范推导和规范归约 最左（右）推导：对一个推导序列中的每一直接推导，被替换的总是当前符号串中的最左（右）非终结符号。 把最右推导称为规范推导，规范推导得到的句型为规范句型。 当有非终结符由多个候选式定义时，将成为带回溯的自顶向下分析。 问题：如何选用侯选式？ 最右（左）推导的逆过程是最左（右）归约，最左归约为规范归约 。 问题：对于规范归约的每一步，如何确定应被归约的最左子串？ 例： 2.语法树和二义性 引入语法树（推导树）更直观、更清晰地描述一句型或句子的语法结构. 直接子树：只有直接后继，而无更远的后继的子树（树高为1）。 文法 G=(VN, VT,P,S)的语法树满足以下条件: （1）每一结点均有一标记，此标记为VN∪VT中的一个符号。 （2）树的根结点标记为文法的开始符号S。 （3）若一结点至少有一个直接后继，则此结点上的标记为VN中的一个符号。 （4）若一个以A为标记的结点有K个直接后继，且按从左至右的顺序，标记为x1,x2,……,xk,则A?x1,x2,……,xk必是G的一个产生式。 2.语法树和二义性（cont.） 语法树与推导序列间为1对多关系，但一语法树只对应于唯一的最左推导和最右推导。 如果L(G)的某个句子(句型)可能对应不只一个最左推导和最右推导，称这样的文法G为二义性文法。 如果一文法所产生的每一个句子都仅有一棵语法树，则称此文法为无二义性的。 任给的前后文无关文法是否具有二义性是不可判定的。但对某些具体文法可判断其二义性或无二义性，如LL(1)等等文法。另存在一些检查文法二义性的充分条件 ，如含有既是左递归又是右递归的非终结符的文法必是二义性文法。 先天二义性语言：用于定义语言的一切文法都是二义性的。 3. 短语和句柄 语法树的应用——语法分析（自顶向下分析，自底向上分析） 定义2.8短语:对于句型η的一棵语法树，若它的一棵子树的根结点标记为A，且将此子树的末端结点标记自左至右排列起来所形成的符号串为β，则β是句型η相对于A的一个短语； 定义2.8‘直接短语:对于句型η的一棵语法树，若它的一棵子树的根结点标记为A，且将此子树的末端结点标记自左至右排列起来所形成的符号串为β，若此子树为直接子树，则β是句型η相对于产生式A—β的直接短语。 定义2.9 句柄:最左直接短语. 对于无二义性文法，可保证句柄归约的唯一性。 3. 短语和句柄 （cont.） 短语、直接短语的含义： G（句子）： 句子－主语短语动词短语 主语短语－ the名词 动词短语 － 动词 宾语短语 名词 － monkey|peach 动词－ eats 宾语短语－ 冠词名词 冠词 － the|a