语法分析南京大学计算机科学与技术系.ppt

* * * * * * * * * * * LALR分析表的例子（3） 处理语法正确的输入时，LALR语法分析器和LR语法分析器的动作序列完全相同。 栈中的状态名字不同，但是状态序列之间有对应关系：如果LR分析器压入状态I，那么LALR分析器压入I对应的合并项集。 比如：当前面的LR分析器压入状态I3时，LALR分析器压入状态I36。 当处理错误的输入时，LALR可能多执行一些归约动作，但是不会多移入一个符号。 LALR分析表的高效构造算法 LALR的项集可以看作是在LR(0)项集上添加了适当的向前看符号。 基本方法 只使用内核项来表示LR(0)或LR(1)项集。只使用[S’?.S]或[S’?.S,$]，以及点不在最左端的项。 使用传播和自发生成的过程来生成向前看符号，得到LALR(1)内核项。 使用CLOSURE函数，求出内核的闭包。然后得到LALR分析表。 LALR项中的向前看符号 LALR项集中的项[A?α.β,a]必然是具有相同核心的LR项集中的一个项。 LALR项集J中包含项[B?γ.δ,b]的条件：存在相应的LR项集J’使得下列条件之一成立 LR项集I’中包含项[A?α.β,a]且J’=GOTO(I’,X)，且[B?γ.δ,b]在GOTO(CLOSURE({[A?α.β,a]}),X)中。 b是“自发生成的”，不管a是什么，[B?γ.δ,b]一定在J中。 LR项集I’中包含项[A?α.β,b]且J’=GOTO(I’,X)，且[B?γ.δ,b]在GOTO(CLOSURE({[A?α.β,b]}),X)中。 b是从前一个状态传播过来的，即[A?α.β,b]在I’中则[B?γ.δ,b]在J中；若[A?α.β,c]在I’中则[B?γ.δ,b]在J中。 存在LR项集I’包含某个项，也就是存在LALR项集I包含该项 传播关系只取决于项的核心部分，和具体的向前看符号无关 要么传播所有的向前看符号，要么都不传播。 确定自发生成/传播关系 基本思想： 引入一个特殊向前看符号#作为“指示剂”，察看这个符号可以如何传播。 令[A?α.β]为项集I中的一个项，对每个文法符号X计算J=GOTO(CLOSURE({[A?α.β,#]}),X)。 检查J中的每个内核项，检查它的向前看符号集合。如果项[B?γ.δ,#]在J中就表示#从I中的A?α.β传播到了[B?γ.δ,#]。 其它的向前看符号都是自发生成的。 确定向前看符号的算法 输入：LR(0)项集I的内核K以及一个文法符号 输出：向前看符号的传播/自发生成。 LALR项集族中向前看符号的计算 基本思想： 以LR(0)项集为基础； 自发生成的符号首先被加入到相应的LALR项集中； 然后不停地传播向前看符号，直到收敛。 具体算法 构造G的LR(0)项集族的内核 将确定自发生成/传播关系的算法应用于每个LR(0)项集的内核和每个文法符号X，确定自发生成和传播的向前看符号。 初始化：给出每个项集和每个内核项的自发生成的向前看符号； 迭代：不断扫描所有项集的内核项，将项I的向前看符号加入到传播目标项的向前看符号集合中。 直到各个向前看符号集合不变为止。 构造LALR项集的例子（1） 文法： S’?S S?L=R S?R L?*R L?id R?L LR(0)项集内核： 构造LALR项集的例子（2） 对于I0的内核，CLOSURE({[S’?S,#]}): S’?.S,# S?.L=R,# S?.R,# L?.*R,#/= L?id,#/= R?L,# 对各文法符号计算GOTO，可知I0中的S’?.S将向前看符号传播到 I1: S’?S. I2: S?L.=R I3: S?R. I4: L?*.R I5: L?id. I2: R?L. 构造LALR项集的例子（3） 得到的传播关系： 构造LALR项集的例子（4） 计算向前看符号传播的迭代过程： 二义性文法的使用 二义性文法都不是LR的。 某些二义性文法是有用的 可以简洁地描述某些结构； 隔离某些语法结构，对其进行特殊处理。 对于某些二义性文法 可以通过消除二义性规则来保证每个句子只有一棵语法分析树。 且可以在LR分析器中实现这个规则。 优先级/结合性消除冲突 二义性文法：E?E+E | E*E | (E) | id 等价于：E?E+T | T T?T*F | F F?(E)|id 二义性文法的优点： 容易修改算符的优先级和结合性。 简洁：如果有多个优先级，那么无二义性文法讲引入太多的非终结符号 高效：不需要处理E?T这样的归约。 二义性表达式文法的LR(0)项集 E?E+E | E*E | (E) | id I7、I8中有冲突，且不可能通过向前看符号解决！ 冲突的原因以及解决 当栈顶状态为7时，表明 栈中状态序列对应的