SLR1 分析解析：错误分析及代码修正

问题出在 SLRAnaly() 函数中，对于归约项目的处理有误。正确的处理方法是遍历归约项目的左部符号的 follow 集，为每个 follow 符号添加 r 状态。而代码中是遍历所有非终结符的 follow 集，为每个 follow 符号添加 r 状态，这样会重复添加很多 r 状态，导致分析表出错。

改正后的代码如下：

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 < proitemset.Count; i++)//遍历所有的项目集
    {
        foreach (int index in proitemset[i].Container)//遍历项目集中的所有项目
        {
            SLRNode item = SLRobjNum[index];
            if (item.Right == 'd')//归约项目
            {
                int leftIndex = FindID(Nchar, item.Left[0]);
                List<char> follow = Follow[leftIndex];//获取左部符号的follow集
                foreach (char c in follow)
                {
                    int CID = FindID(Echar, c);
                    SLRAna[i][CID] = new Table('r', Find_pro(item));
                    if (c == '#')
                        SLRAna[i][CID + Echar.Count] = 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);
        }
    }
}

修改后的代码中，SLRAnaly() 函数遍历项目集中的所有项目，对于归约项目，只遍历其左部符号的 follow 集，并为每个 follow 符号添加 r 状态，避免了重复添加状态，保证了分析表的准确性。