SLR1 分析：文法分析表构建错误的解决方法

问题描述

在进行 SLR1 分析时，分析表中归约状态的添加出现了错误。代码中缺少将含有归约项目的项目集对应的归约状态添加到其 follow 集合中对应的终结符的表项中的步骤。

错误分析

在 SLRAnaly() 函数中，针对每个含有归约项目的项目集，需要将该项目集对应的归约状态添加到其 follow 集合中对应的终结符的表项中。代码中缺少这一步，导致分析表构建不完整，导致分析结果错误。

改正代码

在 SLRAnaly() 函数中，添加以下代码：

for (int i = 0; i < Gy_itemset.Count; i++)
{
    SLRNode item = SLRobjNum[proitemset[Gy_itemset[i]].Container[0]];
    char left = item.Left[0];
    List<char> follow = GetFollow(left);
    foreach (char c in follow)
    {
        int CID = FindID(Echar, c);
        SLRAna[Gy_itemset[i]][CID] = new Table('r', Find_pro(item));
        if (c == '#' )
        {
            int EID = FindID(Echar, '#');
            SLRAna[Gy_itemset[i]][EID] = new Table('r', Find_pro(item));
        }
    }
}

修改后的 SLRAnaly() 函数完整代码如下：

public void SLRAnaly()
{
    Table tnode = new Table();

    SLRAna = new Table[proitemset.Count][];
    for (int i = 0; i < proitemset.Count; i++)
        SLRAna[i] = new Table[Echar.Count + Nchar.Count];

    for (int i = 0; i < proitemset.Count; i++)//初始化 赋予ERROR属性
        for (int j = 0; j < Echar.Count + Nchar.Count; j++)//为终结符加r状态 
            SLRAna[i][j] = tnode;

    tnode = new Table('A', 0);
    SLRAna[1][FindID(Echar, '#')] = tnode;//项目集1必定是接受项目   构建[1][#]:acc的情况 先直接赋值好 dfa里没有

    for (int i = 0; i < Gy_itemset.Count; i++)
    {
        SLRNode item = SLRobjNum[proitemset[Gy_itemset[i]].Container[0]];
        char left = item.Left[0];
        List<char> follow = GetFollow(left);
        foreach (char c in follow)
        {
            int CID = FindID(Echar, c);
            SLRAna[Gy_itemset[i]][CID] = new Table('r', Find_pro(item));
            if (c == '#' )
            {
                int EID = FindID(Echar, '#');
                SLRAna[Gy_itemset[i]][EID] = new Table('r', Find_pro(item));
            }
        }
    }

    for (int i = 0; i < Pindex; i++)
    {
        if (isFinalsymbol(dfa[i].symbol))//symbol为非终结符  添加状态N
        {
            int CID = FindID(Nchar, dfa[i].symbol);
            SLRAna[dfa[i].from][CID + Echar.Count] = new Table('N', dfa[i].to);
        }
        else //不是归约项目 添加状态S
        {
            int CID = FindID(Echar, dfa[i].symbol);
            SLRAna[dfa[i].from][CID] = new Table('S', dfa[i].to);
        }
    }
}

代码说明

Gy_itemset：存储含有归约项目的项目集的序号。
SLRobjNum：存储项目列表。
proitemset：存储项目集合列表。
Find_pro(item)：根据项目 item 找到对应的产生式序号。
FindID(Echar, c)：根据终结符集合 Echar 和终结符 c 找到对应的位置索引。
GetFollow(left)：获取非终结符 left 的 follow 集合。

总结

本文分析了 SLR1 分析过程中分析表构建错误的原因，并提供了修正代码。通过对代码的解释，帮助读者理解 SLR1 分析表的构建原理，并解决代码实现中的问题。