编译原理5-3-5-LALR分析表的构造-1.pptVIP

5.3.5 LALR分析表的构造;图5.10 LR(1)项目集和GO函数 p116;合并同心集;表5.5 例5.13 ☆的 LR分析表 p116;1、合并GOTO表;(1)出错与出错合并 － 结果仍为出错，无冲突 (2)移进与移进合并 － 无冲突 (3)出错与移进合并 － 不会出现此情况 (4)移进与归约合并 － 不会出现此情况 (5)归约与出错合并 － 人为规定它做归约 放松了报错条件 (6)归约与归约合并 A) 按同一产生式归约，无冲突 B) 按不同产生式归约，将造成冲突;合并同心项目集可能会引起冲突 同心集的合并不会引起新的移进?归约冲突 同心集的合并有可能产生新的归约?归约冲突;(1)构造文法的LR(1)项目集族 C=｛I0,I1, …,In｝ (2)把所有的同心集合并在一起， 记 C? =｛J0, J1, …, Jm｝为合并后的新族， 含有项目 [S?→·S, #] 的Jk为分析表的初态。 ;(3) 从C? 构造ACTION表 ①若[A→α·aB, b]∈Jk ，且GO(Jk, a)= Jj， 则置ACTION[k, a]为 sj ②若[A→α·, a]∈Jk，j是产生式A→α的编号 则置ACTION[k, a]为 rj， ③若[S→S·, # ]∈Jk，则置ACTION[k, #]为 acc (4) GOTO表的构造 若GO(Jk, A)=Ji，则置GOTO[k, A] = i (5) 分析表中凡不能用(3)、(4)填入信息的空白格均填上“出错标志”。;经上述步骤构造的分析表若不存在冲突，则称它为文法的LALR分析表 存在这种分析表的文法称为LALR文法 对于同一个文法，LALR分析表和LR(0)以及SLR分析表永远具有相同数目的状态。;例：写出输入符号串 ＃aab＃ 的LR分析过程和LALR分析过程;例 ：有如下文法G[S]: (0) S ?S (1) S ?L=R (2) S ?R (3) L ?*R (4) L ? i (5) R ?L 写出此文法的LALR分析表 并根据文法的LALR分析表分析输入串 “ i=*i= # ”;LR(1)项目集规范族;合并同心集;状 态;步骤;i = * i = # 的LR分析过程;步骤;i = * i # 的LR分析过程;LR分析小结