E-E+TTT-TFFF-Ed对上述文法进行SLR1分析正确答案是：状态+d#E4 S4 S5 85r6r6 r6 r6 6 S4 S5 7 S4 S5 8S6 S11 9r1S7 r1 r110r3r3 r3 r311r5r5 r5 r5但是我的答案跟它不一样如下所示：状态+d#E4 S4 S5 85r6r6r6r6r6r6 6 S4 S5 7 S4 S5 8S6 S

错误分析：

在SLR分析表的构建中，对于含有归约项目的集合的序号的集合，对每个非终结符的follow集合进行遍历，将follow集合中的终结符在分析表中标记为r状态。但是在遍历follow集合时，没有考虑到终结符#，导致在分析表中没有对#进行标记。因此，当输入串分析完成后，如果栈顶为起始符号E，且输入符号为#，则无法进行归约操作，从而导致分析失败。

改正后的代码：

在遍历follow集合时，添加对终结符#的判断，将#也标记为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 < 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 == '#')
        {
            foreach (char e in Echar)
            {
                int EID = FindID(Echar, e);
                SLRAna[Gy_itemset[i]][EID] = new Table('r', Find_pro(item));
            }
            int NID = FindID(Nchar, left);
            SLRAna[Gy_itemset[i]][NID + 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);
    }
}