第4章 语法分析(4).pptVIP

* 串E + T *是可行前缀，读完它后，DFA处于状态I7 I7: T?T *·F, F? ·( E ), F? ·id E ? ? E E ? ? E E ? ? E ? E+T ? E+T ? E+T ? E+T * F ? E+T * F ? E+T * F ? E+T * id ? E+T * (E ) ? E+T* id ? E+T * F * id 例4.35 * 4.7.5 LALR分析表的有效构造方法 算法4.43在构造LALR分析表时，耗费的存储空间与LR(1)算法完全相同，代价还是太大。 * 可以从两个方面改进： 存储有效项目集时，只存储它们的核心项目，每当需要完整的有效项目集时，再根据核心项目来计算。 根据LR(0)项直接生成LALR(1)项目集规范族的核心项目，这是有效构造方法的关键。 只需要利用项目集的核心项目就能计算其动作。 * 利用项目集的核就能计算其动作 思想：利用项目集的内核项目构造action表 归约动作 A ? ? · 且? ??，则该归约项目必在内核项目中； 用A ??归约，此时归约项目A ? ·不在内核项目中，当且仅当存在内核项目[B ?? ·C?, b]且C?*A?，输入a为FIRST(??b)，才能用A ??归约。可以事先计算出所有符合C?*A?的非终结符A。 * 利用项目集的核就能计算其动作 移进动作 若存在内核项目[B ?? ·a?, b]，显然动作是将a移进； 若存在内核项目[B ?? ·C?, b]，且C?*ax，且推导的最后一步不是用?产生式，则可以将a移进。可以事先计算出所有符合C?*ax的终结符a。 * 利用项目集的核计算goto转换 利用项目集的内核项目构造goto转换 若 [B ? ? ·X?, b]是I中内核项目，显然[B ? ?X ·?, b]在goto(I, X)的内核项目中。 若 [B ? ? ·C?, b]是I中内核项目，且有C?*A?，那么， [A ? X ·?, a]在goto(I, X)的内核项目中，其中a是FIRST(??b)。 可以事先计算出所有符合C?*A?的非终结符。 * 例4.45 构造文法LR(0)项目集的内核 I0: S? ? .S I1: S? ? S. I2: S ? L.=R R ? L. I3: S ? R. I4: L ? *.R I5: L ? id. I6: S ? L=.R I7: L ? *R. I8: R ? L. I9: S ? L=R. * S???S I0 R S ?R? I3 S?L?=R R ?L ? L I2 S??S? S I1 L ?* ? R * I4 L?id ? id I5 = S ?L=? R I6 R L ?* R ? I7 R?L ? L I8 * id R S ?L= R ? I9 L * id * “自生的”和“传播的”搜索符 下面考虑如何为核项目配上搜索符。 为LR(0)核项目[B ? ? ·?]添加搜索符b： 存在包含内核项[A ? ? · ?, a]项目集I ，有goto(I, X) = J。计算GOTO(CLOSURE({[A ? ? · ?, a]}), X)得到的结果中包含[B ? ? ·?, b]，则搜索符b为“自生的” (spontaneously)。 A? ? · C?, a I B ? ? X · ?, b J X C ?* B?， b?First(??a) * S … A … ? C ? B ? a ? ? * “自生的”和“传播的”搜索符 下面考虑如何为核项目配上搜索符。 为LR(0)核项目[B ? ? ·?]添加搜索符b： 存在包含内核项[A ? ? · ?, a]项目集I ，有goto(I, X) = J。计算GOTO(CLOSURE({[A ? ? · ?, a]}), X)得到的结果中包含[B ? ? ·?, b]，则搜索符b为“自生的” (spontaneously)。 a = b的情况，计算GOTO(CLOSURE({[A ? ? · ?, b]}), X)得到的结果中包含[B ? ? ·?, b]， ，称搜索符b从I的内核A ? ? · ?传播(propagate)到I的内核B ? ? ·? 。 * “自生的”和“传播的”搜索符 A? ? · ?, a I B ? ? X · ?, b J X C ?* B?， b?First(??a)