第6章+自底向上的LR分析法.pptVIP

* 2. 构造GO转换函数 若I是一个项目集，X是一个文法符号 GO(I, X)= closure(J) 其中 J={ 任何形如[A→αX．β,a]的项目∣[A→α.Xβ,a]∈I} LR(I)项目规范族C的构造算法类同LR(0)的，只是初始时： C={ closure( { S’→．S，# } ) }; * LR(1)分析表的构造 设文法G’的项目集规范族C={I0,I1,…,In},令其中每个项目集的下标作为分析器的状态，令包含项目[S’ → .S,#]的项目集Ik的下标k为分析器的初态。构造LR(1)分析表的步骤如下： ①若项目[A→α.aβ,b]∈Ik且goto(Ik,a)=Ij,其中a为终结符，置ACTION[I,a]=“把状态j和符号a移进栈”，简记为“sj”; ②若项目[A→α.,a]∈ Ik ,则置ACTION[I,a]=“用产生式A→α进行归约”，简记为“rj”(假定A→α是文法G’的第j条产生式); * ③若项目[S’→S.,#]∈ Ik,则置ACTION[I,#]=“接收”，简记为‘acc’； ④若goto(I,A)=Ij,A 为非终结符，则置GOTO(I,A)=j ⑤分析表中凡不能用规则①- ④添入信息的元素均置上ERROR。 * 构造LR(1)分析表的步骤小结 文法拓广； 写出基本LR(1)项目； 构造识别活前缀的DFA； 由算法构造LR(1)分析表 * LR(0)、LR(1)、SLR(1)的比较 状态集的计算方法和 LR(0) 基本相同 分析表的构造方法和 LR(0) 基本相同 构造方法的不同点： 第 2 步处理中归约动作的选择： LR(0) 分析考虑所有终结符 SLR(1) 分析参考 FOLLOW 集 LR(1) 分析仅考虑 LR(1)项目中的后继符(用FIRST集近似考虑) * § 6.7 LALR(1)分析表的构造 * LALR分析技术 Look Ahead LR technique. 界于LR(1)分析器与SLR(1)分析器的之间的折衷方案。 利用这种分析技术，构造出的LALR分析表的状态数等于SLR分析表的状态数，比规范LR分析表少得多；分析能力比LR分析器要差一些，但比SLR强大，能够处理一些SLR分析器难以处理的情况。 * 同心项目集 对于两个LR(1)项集，如果除了搜索符（向前看符号）外，其它完全相同，那么这两个项集被称为同心项目集。 同心项目集的心：即对应的LR(0)项目集。 * 同心项目集的合并 合并后的项目集的基本部分保持不变。基本部分相同项的搜索符被合并。 原同心项目集之间的goto转换关系保持不变。 同心项目集合并后，可能延迟报错的时间，但绝不会放过错误，在输入下一个符号之前肯定会发现错误。 * 合并可能引起的冲突 合并引起的冲突是指：本来的LR(1)项目集没有冲突，而合并同心项目集后有冲突。 引起“归约-归约”冲突。 文法{S’→S S→aAd|bBd|aBe|bAe A→c B→c} 是LR(1)文法。 合并同心集后导致归约-归约冲突。 * LALR的基本步骤 首先生成LR(1)项集规范族。 合并同心项目集。并且相应地建立合并后的项目集之间的转换关系。合并后的项目集的个数和LR(0)项目集规范族中的项集个数相同。 根据这个项目集族，构造分析表。 * LALR分析表构造算法 1.构造LR(1)项目集规范族C={I0,I1,I2,…In}。 2.合并C中的同心集，记C’={J0,J1,…,Jn}为合并后的新族。令包含项目[S’ → .S,#]的项目集Ik的下标k为分析器的初态。 * 3.根据C’构造ACTION表： ①若项目[A→α.aβ,b]∈ Ji且goto(Ji,a)=Ij,其中a为终结符，置ACTION[J,a]=“把状态j和符号a移进栈”，简记为“sj”; ②若项目[A→α.,a]∈Ji ,则置ACTION[i,a]=“用产生式A→α进行归约”，简记为“rj”(假定A→α是文法G’的第j条产生式); ③若项目[S’→S.,#]∈Ji ,则置ACTION[i,#]=“接收”，简记为‘acc’； * 4.构造GOTO表： 假定J是由I1,I2,…,Im合并后的新项目集，其中，每个Ii都是一个LR(1)项目集，由于I1,I2,…,Im同心，因此goto(I1,X), goto(I2,X) ,…,goto(Im,X)也同心。令K是由这些同心项目集合并后的项目集，那么，goto(J,X)=K。于是，若toto(Ji,A)=Jj,则置GOTO[i,A]=j。 5.分析表中凡不能用3、4添入信息的空白格均置ERROR。 * 由于S’仅在第一个产生式的左部出现，因此规