编译原理第6章-LR分析分析.ppt

7 LR分析法 7 LR分析法 7 LR分析法 7.1 LR分析器的逻辑结构和工作过程 7.1 LR分析器的逻辑结构和工作过程 7.1 LR分析器的逻辑结构和工作过程 7.1 LR分析器的逻辑结构和工作过程 7.1 LR分析器的逻辑结构和工作过程 7.1 LR分析器的逻辑结构和工作过程 7.1 LR分析器的逻辑结构和工作过程 7.1 LR分析器的逻辑结构和工作过程 7.1 LR分析器的逻辑结构和工作过程 7.1 LR分析器的逻辑结构和工作过程 7.1 LR分析器的逻辑结构和工作过程 7.1 LR分析器的逻辑结构和工作过程 7.1 LR分析器的逻辑结构和工作过程 7.1 LR分析器的逻辑结构和工作过程 7.1 LR分析器的逻辑结构和工作过程 7.2 LR（0）分析法 7.2 LR（0）分析法 S? S[0] ? A[1] ? aAb[3] ? aaAb[3]b[3] ? aac[4]b[3]b[3] aac[4]b[3]b[3] ? aaAb[3]b[3] ? aAb[3] ? A[1] ? S[0]? S 7.2 LR（0）分析法 7.2 LR（0）分析法 7.2 LR（0）分析法 7.2 LR（0）分析法 7.2 LR（0）分析法 7.2 LR（0）分析法 7.2 LR（0）分析法 7.2 LR（0）分析法 7.2 LR（0）分析法 7.2 LR（0）分析法 7.2 LR（0）分析法 7.2 LR（0）分析法 7.2 LR（0）分析法 7.2 LR（0）分析法 7.2 LR（0）分析法 7.2 LR（0）分析法 7.2 LR（0）分析法 7.2 LR（0）分析法 7.2 LR（0）分析法 7.2 LR（0）分析法 7.2 LR（0）分析法 7.2 LR（0）分析法 7.2 LR（0）分析法 7.2 LR（0）分析法 7.2 LR（0）分析法 7.2 LR（0）分析法 7.2 LR（0）分析法 7.2 LR（0）分析法 7.2 LR（0）分析法 7.2 LR（0）分析法 7.2 LR（0）分析法 7.2 LR（0）分析法 7.2 LR（0）分析法 7.2 LR（0）分析法 7.2 LR（0）分析法 ③ 待约项目，形如A→α? Bβ，其中α， β∈(VN∪VT) * , B ∈VN*，即圆点后面为非终结符的项目，它表示期待从余留的输入串中进行归约得到B，然后分析A的右部。 ④ 接受项目，形如S→S? ，其中S为文法的开始符号，即文法开始符号的归约项目。 S为左部的规则仅只有一个，它是归约项目的特殊情况，它表示整个句子已经分析完毕，可以接受。 构造识别文法所有规范句型活前缀DFA的方法 : 在这个项目集中，所有的LR(0)项目识别的活前缀是相同的，我们可以利用闭包函数（CLOSURE）来求DFA一个状态的项目集。 对于构成识别文法规范句型活前缀DFA的每一个状态是由若干个LR(0)项目所组成的集合，称为LR(0)项目集 ， 为了使“接受”项目唯一，我们总对文法G进行拓广。假定文法G的开始符号为S，在文法G中引入一个新的开始符号S，并加进一个新的规则S →S，从而得到文法G的拓广文法G。 (1) 定义闭包函数 设I是拓广文法G的一个LR(0)项目集，定义和构造I的闭包CLOSURE(I)如下： I中的任何一个项目都属于 CLOSURE(I)。 (b) 若A→α? Bβ属于CLOSURE(I)， 则每一形如 B →?γ的项目 也属于CLOSURE(I)。 (c) 重复(b)直到CLOSURE(I)不再增 大为止。 例如，对例1中的文法 令I={S→·S }，则 即为初态的项目集I0 CLOSURE(I) { S→·S， S→·A， S→·B， A→·aAb A→·c， B→·aBb， B→·d 0. S→S 1. S→A 2. S→B 3. A→aAb 4. A→c 5. B→aBb 6. B→d } = 有了初态