SLR(1)分析表构建步骤及代码错误分析

SLR(1)分析表构建步骤及代码错误分析

一、SLR(1)分析表构建步骤：

1. 构建LR(0)项集族: 根据文法生成式，构建LR(0)自动机，得到LR(0)项集族。2. 求闭包: 对于每个LR(0)项集I，求出其闭包J，即将所有能够从I出发，通过若干次ε-转移到达的项集都加入到J中。3. 构建LR(1)项集族: 在LR(0)项集族的基础上，为每个项添加向前看符号集合，构成LR(1)项集。4. 构建SLR(1)分析表: - 对于每个LR(1)项集I和每个终结符a： - 若GOTO(I, a) = J，则ACTION[I, a] = 'S'J (移进)。 - 若J是接受状态，则ACTION[I, a] = 'acc' (接受)。 - 对于每个LR(1)项集I和每个非终结符A： - 若GOTO(I, A) = J，则GOTO[I, A] = J (跳转)。 - 对于每个LR(1)项集I，如果I中存在形如[A -> α·, a]的项，且α -> β是文法中的产生式，则对于a∈FOLLOW(A)，ACTION[I, a] = 'r'k (归约)，其中k是产生式α -> β的编号。

二、代码分析：

提供的代码实现了SLR(1)分析表的构建，但存在以下错误：

1. SLRAna 数组初始化错误: SLRAna数组初始化时，所有元素被赋值为同一个Table对象，导致修改一个元素会影响其他元素。

   修改: 应该为每个元素创建一个新的Table对象。 c# public void SLRAnaly() { // 初始化SLRAna数组 SLRAna = new Table[proitemset.Count][]; for (int i = 0; i < proitemset.Count; i++) { SLRAna[i] = new Table[Echar.Count + Nchar.Count]; for (int j = 0; j < Echar.Count + Nchar.Count; j++) { SLRAna[i][j] = new Table(); } } // ... }

2. 归约项目处理错误: 代码中没有根据向前看符号确定归约项目的状态，而是根据项目所在的项集进行处理，这是错误的。

   修改: 应该根据向前看符号集合来确定归约项目的状态。 c# // 为归约项目赋值 for (int i = 0; i < Gy_itemset.Count; i++) { SLRNode item = SLRobjNum[proitemset[Gy_itemset[i]].Container[0]]; foreach (char c in item.LookAhead) { int CID = FindID(Echar, c); SLRAna[Gy_itemset[i]][CID].type = 'r'; SLRAna[Gy_itemset[i]][CID].id = Find_pro(item); } }

三、总结：

通过以上分析，我们可以看出，构建SLR(1)分析表需要仔细处理LR(0)项集族的闭包、LR(1)项集的构建以及分析表中各个状态的设置。同时，在编写代码时，要注意避免出现数组初始化和归约项目处理等方面的错误。