SLR分析表构建代码解析及错误修复

问题分析：

根据错误信息，可以看出在构建SLR分析表时，某些状态的某些终结符或非终结符的属性被错误地赋值为了同一个值，导致了分析表的错误。具体来说，状态5的所有终结符和状态9的所有终结符都被赋值为了'r1'，状态10的所有终结符和状态11的所有终结符都被赋值为了'r5'。

原因分析：

根据代码，可以看出在构建SLR分析表时，出现了以下问题：

1.在构建归约项目的分析表时，没有考虑到某些归约项目可能不包含某些follow集合中的终结符，导致这些终结符的属性没有被正确地赋值。

2.在构建移进项目的分析表时，没有考虑到某些状态可能包含多个相同的终结符，导致这些终结符的属性被错误地赋值为了同一个值。

修改方案：

1.在构建归约项目的分析表时，需要对每个follow集合中的终结符都进行遍历，如果归约项目包含该终结符，则给该终结符赋值为对应的'r'状态。

2.在构建移进项目的分析表时，需要对每个状态中的终结符进行遍历，如果该状态中有多个相同的终结符，则需要分别给它们赋不同的属性值。

修改后的代码如下：

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);
        if (proitemset[Gy_itemset[i]].Container.Any(x => SLRobjNum[x].Right.Contains(c)))
        {
            SLRAna[Gy_itemset[i]][CID] = new Table('r', Find_pro(item));
            if (c == '#')
            {
                foreach (char e in Echar)
                {
                    int EID = FindID(Echar, e);
                    if (proitemset[Gy_itemset[i]].Container.Any(x => SLRobjNum[x].Right.Contains(e)))
                        SLRAna[Gy_itemset[i]][EID] = new Table('r', Find_pro(item));
                }
            }
        }
    }
}

for (int i = 0; i < Pindex; i++)//构建移进项目的分析表
{
    if (isFinalsymbol(dfa[i].symbol))
    {
        int CID = FindID(Nchar, dfa[i].symbol);
        SLRAna[dfa[i].from][CID + Echar.Count] = new Table('N', dfa[i].to);
    }
    else
    {
        int CID = FindID(Echar, dfa[i].symbol);
        int index = 1;
        while (SLRAna[dfa[i].from][CID].type != 'E')
        {
            CID = FindID(Echar, dfa[i].symbol + index.ToString());
            index++;
        }
        SLRAna[dfa[i].from][CID] = new Table('S', dfa[i].to);
    }
}

}