SLR1 分析错误分析及修正 - E->E+T|T, T->T*F|F, F->(E)|d

SLR1 分析错误分析及修正 - E->E+T|T, T->T*F|F, F->(E)|d

问题：

在对上述文法进行 SLR1 分析时，代码中 SLRAnaly() 函数对于归约项目的处理方式不够严谨，只考虑了含有归约项目的项目集合中的第一个归约项目，导致分析表构建错误。

错误分析：

原代码中，在处理含有归约项目的项目集合时，只对该集合的第一个项目进行判断并添加进分析表。然而，一个项目集合中可能存在多个归约项目，每个项目都对应着不同的产生式，应该分别将其加入分析表。

代码修正：

修改后的 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++)
    {
        SLRitemsets itemset = proitemset[Gy_itemset[i]];
        foreach (int item in itemset.Container)
        {
            SLRNode node = SLRobjNum[item];
            if (node.Right == "#" )//空产生式
            {
                List<char> follow = GetFollow(node.Left[0]);
                foreach (char c in follow)
                {
                    int CID = FindID(Echar, c);
                    SLRAna[Gy_itemset[i]][CID] = new Table('r', Find_pro(node));
                    if (c == '#')
                    {
                        foreach (char e in Echar)
                        {
                            int EID = FindID(Echar, e);
                            SLRAna[Gy_itemset[i]][EID] = new Table('r', Find_pro(node));
                        }
                    }
                }
            }
            else if (node.Right[node.Right.Length - 1] == '#')//以空产生式结尾
            {
                List<char> follow = GetFollow(node.Left[0]);
                foreach (char c in follow)
                {
                    int CID = FindID(Echar, c);
                    SLRAna[Gy_itemset[i]][CID] = new Table('r', Find_pro(node));
                }
            }
            else//普通产生式
            {
                char next = node.Right[0];
                if (isFinalsymbol(next))
                {
                    int CID = FindID(Echar, next);
                    SLRAna[Gy_itemset[i]][CID] = new Table('r', Find_pro(node));
                }
            }
        }
    }

    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() 函数中归约项目处理的修改，代码更加完善，能够准确构建 SLR1 分析表，从而实现对文法进行正确的语法分析。