程序设计语言与编译ppt课件_7.6 LR分析法.pptxVIP

第七章语法分析;LR分析法是指从左向右扫描输入串，每次根据分析栈中的状态和输入串中的符号，查LR分析表，以确定句柄是否已在分析栈的栈顶形成，从而决定应采取的动作。;双栈结构：由符号栈和状态栈构成，两个栈同步变化。符号栈存放已识别（移进或归约）的符号；状态栈存放对应的状态编号。

初始时：#?符号栈、0?状态栈;由action[s,a]和goto[s,x]两个子表组成。

1. action表是一个状态（行）和终结符（列）的二维矩阵，action[s,a]定义了在状态s下，当前输入符号为a时应采取的动作。

2. goto表是一个状态（行）和非终结符（列）的二维矩阵，goto[s,A]定义了在状态s下，当识别完非终结符A后的状态变化。;下述文法G的LR分析表：

1. E→E+T

2. E→T

3. T→T*F

4. T→F

5. F→(E)

6. F→i;;根据状态栈的当前状态s和输入串的当前符号a查action表，以确定下一步操作：

1. 若action[s,a]=sj（移近shift）

将符号a和状态j推入栈中，输入指针右移。

2. 若action[s,a]=rj（归约reduce）

按第j个产生式（设为A?β，β的长度为t）归约。即从栈中弹出t个符号和状态，然后将A推入符号栈；再根据当前状态栈顶的状态i和A查goto表，如goto[i,A]=k，则将状态k推入状态栈。;3. 若action[s,a]=acc（接收）

分析结束，输入串合法。

4. 若action[s,a]或goto[i,A]为空（出错）

分析结束，输入串非法。

;;;规范归约与规范句型

句柄与符号栈的关系

项目与状态转换图

有效项目集与状态转换图

LR(0)分析表的构造

SLR(1)分析表的构造;在LR分析的过程中，每一步归约都是按句柄进行归约。即：

1. 如果判断句柄已经出现在栈顶，则下一步进行归约操作。

2. 如果判断句柄未出现在栈顶，则下一步进行移进操作。

按句柄进行归约——规范归约

规范归约中的句型——规范句型

;1. 符号栈顶不含句柄αβ的任何符号

句柄αβ尚未进入符号栈，此时应进行移近操作，期待从输入串中识别αβ（能够归约为αβ的符号串）。

2. 符号栈顶含句柄αβ的α部分

句柄αβ的α部分已进入符号栈，此时应进行移近操作，期待从输入串中识别句柄的剩余部分β。

3. 符号栈顶已含句柄αβ的全部符号

句柄αβ已在符号栈顶形成，此时应将句柄αβ归约。;项目的概念

在产生式右部添加一个圆点，用于表示符号栈与句柄之间的三种关系（状态）：A→?αβ、A→α?β、A→αβ?

项目的分类

移进项目：形如A→…?a…，a?VT

待约项目：形如A→…?B…，B?VN

归约项目：形如A→…?

接受项目：形如S→…?，S为开始符;对文法G，增加产生式S’→S，把开始符改为S’，形成拓广文法G’。

在该拓广文法G’中，项目S’→S?是唯一的接受项目。;拓广文法G’：

0. S’→S

1. S→BB

2. B→aB

3. B→b

注：给每个产生式编号

;有限方向图

结点：状态（一个状态对应一个项目）

有向边：状态之间的转换关系

边上的标记：从输入串中识别的符号

箭头指向的结点：初态（对应分析过程的开始，符号栈为空）

双圆圈结点：归约状态（对应归约项目，用ri标注对应的产生式编号）

;;项目的集合，称为项目集。

ε连线表示不需要识别（移进）任何符号即可进行状态转换，所以，ε连线的源项目和目标项目对应的符号栈是相同的。把这一类项目组成一个项目集，称为有效项目集。;设I是一个项目集，则closure(I)是I对应的有效项目集。通过以下步骤可求出closure(I)：

1. 对?i?I，都有i?closure(I)；

2. 若A?α?B?closure(I)，且存在产生式B?β，则B??β?closure(I)；

3. 重复2，直至closure(I)不再增大。;一个有效项目集I从输入串中识别（移进）某个符号X后，符号栈发生了变化，对应的有效项目集也会发生变化（转换），这种转换关系，记为go(I,X)：

go(I,X)＝closure({A?αX?β|A?α?Xβ?I})

;一个文法G的所有有效项目集组成的集合，叫做文法G的项目集规范族（C），求项目集规范族的算法如下：

C={ closure({S’→?S})};

do {

for(C中每一项目集I和符号X)

{if(go(I,X)?