第5章语法分析——自底向上分析.pptVIP

第5章 语法分析——自底向上分析 5.1 规范推导、规范句型和规范归约 5.2自底向上分析方法的一般过程 5.2自底向上分析方法的一般过程 5.3 LR分析方法 5.3.1 LR分析器逻辑结构 5.3.2 LR分析表的构成 5.3.2 LR分析表的构成 5.3.2 LR分析表的构成 5.3.3 LR分析过程 5.3.3 LR分析过程 5.4 LR(0)分析方法 5.4.1活前缀和可归前缀 5.4.1活前缀和可归前缀 5.4.1活前缀和可归前缀 5.4.2 LR(0)项目 5.4.2 LR(0)项目 第5章 语法分析——自底向上分析 第5章 语法分析——自底向上分析 第5章 语法分析——自底向上分析 第5章 语法分析——自底向上分析 第5章 语法分析——自底向上分析 5.4.3 构造识别活前缀的有穷自动机 5.4.3 构造识别活前缀的有穷自动机 5.4.3 构造识别活前缀的有穷自动机 5.4.3 构造识别活前缀的有穷自动机 5.4.3 构造识别活前缀的有穷自动机 5.4.3 构造识别活前缀的有穷自动机 5.4.3 构造识别活前缀的有穷自动机 5.4.3 构造识别活前缀的有穷自动机 5.4.3 构造识别活前缀的有穷自动机 5.4.3 构造识别活前缀的有穷自动机 5.4.3 构造识别活前缀的有穷自动机 5.4.3 构造识别活前缀的有穷自动机 5.4.3 构造识别活前缀的有穷自动机 5.4.4 LR(0)分析表的构造 5.4.4 LR(0)分析表的构造 5.4.4 LR(0)分析表的构造 5.4.4 LR(0)分析表的构造 5.4.5 LR(0)分析器的工作过程 5.4.5 LR(0)分析器的工作过程 5.4.6 LR(0)文法 5.4.6 LR(0)文法 5.4.6 LR(0)文法 继续上述的后继项目构造过程, 直到再没有新的项目集产生。 C2的基本项目集为{ A→(.A) } ，最终C2={ A→(.A)，A→.(A)，A→.a }。分析状态2的项目： A→(.A)：后继项目集C4={ A→(A.)} A→.(A)：后继项目集仍是C2本身 A→.a：后继项目集为C3＝{ A→a.} 对状态4的项目A→(A.) 后继项目集C5={ A→(A).}。 至此，我们得到的所有项目集如表5.8所示。 R1 A→(A). 5 GO[4，)]=5 A→(A.) 4 R2 A→a. 3 GO[2，A]=4 GO[2，(]=2 GO[2，a]=3 A→(.A) A→.(A) A→.a 2 ACCEPT S→A. 1 GO[0，A]=1 GO[0，(]=2 GO[0，a]=3 S→.A A→.(A) A→.a 0 转换函数 项目集 状态 因为每个项目集是有穷的，因此最终产生的状态数目肯定是有限的。最终产生的识别活前缀的有穷自动机如图5.8所示。 0: S→.A A→.(A) A→.a 1: S→A. 2: A→(.A) A→.(A) A→.a 3: A→a. A ( a 图5.8识别活前缀的有穷自动机 4: A→(A.) 5: A→(A). A ) ( a 4、识别活前缀的有穷自动机构造算法 给定一文法G，该文法的开始符号为S，下面算法为给定文法G生成识别活前缀的有穷自动机。该自动机包含有下列项目集集合∶ C={ C0,C1,…,Cn}, 其中C0是开始项目集，C称为LR(0) 项目集规范族。该自动机的状态是{0,1,…,n},其中每个状态j是由项目集Cj得到的。 1) 生成开始项目集： ① 赋给开始项目集一个下标0，然后将项目S→.δ放入集合C0，对应的状态为0。 ② 对该项目集执行闭包运算，即找到在圆点之后的非终结符X，将形式为X→.δ的项目放置到集合中，其中X→δ是文法G的一个产生式。该闭包运算也要对所有导出的新项目进行。 2) 生成LR(0)的所有项目集C：重复第3到第4步，直到再没有新的项目集出现。 3) 对一个项目集Ci求后继项目集Cj，构造项目集的转换： ① 对项目集Ci中的每个后继符号X进行读操作，生成一个新的项目集Cj，且 GO[Ci,X]= Cj。 ② 如果该项目集已经存在，则Cj就是已经存在的项目集；否则，得到一个新的基本项目集Cj； 4) 对新的项目集进行闭包运算。 如果LR(0) 项目集规范族中的每个项目集看做有穷自动机的一个状态，则项目集规范族的GO函数把这些项目集连接成一个DFA。令C0为DFA的初态，则该 DFA就是恰好识别