第4篇LR分析法.ppt

(4) LR(0)分析表的构造 若对于一个文法G的拓广文法G’的LR(0)项目集规范族中的每个项目集，不存在移进项目和归约项目同时并存或多个归约项目同时并存，则称G为LR(0)文法。 为了节省存储空间，把关于终结符部分的GOTO表和ACTION表重叠，也就是把当前状态下面临终结符应做的移进－归约动作和转向动作一起表示。 对LR(0)文法，其分析表的构造算法如下: 设LR(0)项目集规范族为C={I0,I1,…,In }，令项目集Ik对应的状态为k，含S’→?S项目的项目集对应的状态为初始状态，分析表的ACTION表和GOTO表构造步骤为： 若项目A→α?aβ∈Ik，a∈VT，且GO(Ik,a)=Ij，则置ACTION[k,a]=‘Sj’ 若项目A→α?Bβ∈Ik，B∈VN，且GO(Ik,B)=Ij，则置GOTO[k,B]=‘j’ 若项目A→α?∈Ik，且产生式A→α的编号为j，则对任何a（终结符和‘$’），置ACTION[k,a]=‘rj’ 若项目S’→S?∈Ik，则置ACTION[k,$]=‘acc’ 不能用上述方法填入的分析表的元素均应填上“报错标志”。 拓广文法G’： (0) S’→E (1) E→aА (2) E→bB (3) A→cА (4) A→d (5) B→cB (6) B→d 识别活前缀的DFA： S’→?E S’→E? E→a?A a E→b?B E b E→aA? A→c?A c A A→d? E→bB? B→c?B c B→d? A→cA? A B→cB? B d c d d B c d E→?aA E→?bB I0 I1 I2 I3 I4 I5 I6 I7 I8 I9 I10 I11 A→?cAA→?d B→?cBB→?d A→?cAA→?d B→?cBB→?d 10 ? ? ? ? ? a ACTION ? ? ? ? ? b ? ? c ? ? d ? ? ? ? ? $ E GOTO A 状态 11 9 8 7 6 5 4 3 2 1 0 B LR(0)分析表 1 S2 S3 acc 4 S5 S6 7 S8 S9 r1 r1 r1 r1 r1 10 S5 S6 r4 r4 r4 r4 r4 r2 r2 r2 r2 r2 11 S9 S8 r6 r6 r6 r6 r6 r3 r3 r3 r3 r3 r5 r5 r5 r5 r5 (0) S’→E (1) E→aА (2) E→bB (3) A→cА (4) A→d (5) B→cB (6) B→d 输入串bccd$的分析过程 步骤 状态栈 符号栈 输入串 ACTION GOTO 1 ? 2 ? 3 ? 4 ? 5 6 7 8 9 0 $ bccd$ S3 03 $b ccd$ S8 038 $bc cd$ S8 0388 $bcc d$ S9 03889 $bccd $ $ $ $ $ r6 11 0388 $bcc r5 11 038 $bc r5 7 03 $b r2 1 0 $ acc B (11) B (11) B 7 E 1 写出给定文法G的拓广文法G’ 写出文法G’的LR(0)项目集（初态） 利用CLOSURE和GOTO函数，求出相应的LR(0)项目集规范族C; 构造识别该文法全部活前缀的DFA； 根据算法构造LR(0)分析表； (5) 构造LR(0)分析表步骤小结 当一个文法是LR(0)文法时，才可构造出无冲突的LR(0)分析表。 LR(0)分析器的特点是不需向前查看输入符号就能归约，不管下一个输入符号是什么都可以立即进行归约而不发生错误。 4.5.3 SLR(1)分析 项目集中的冲突 移进—归约冲突 移进项目A→α?aβ和归约项目B→r?同在一个项目集中，当面临输入符a时，不能确定移进a还是把r归约为B； 归约—归约冲突 归约项目A→β?和归约项目B→r?同在一个项目集中，不管面临什么输入符都不能确定把β归约为A还是把r归约为B。 一个文法的LR(0)项目集规范族中的项目集不存在移进—归约冲突，也不存在归约—归约冲突时，称该文法为LR(0)文法。 文法G