SLR 分析表构建算法优化：解决r状态显示错误问题

本文将分析 SLR 分析表构建算法中常见的 r 状态显示错误问题，并提供针对性解决方案。

问题描述：

在使用 SLR 算法构建分析表时，可能会遇到在 listView 中 r 状态对应的表格元素显示不正确的问题。这通常是由于代码在为 r 状态赋值时，使用了产生式的编号而非产生式本身导致的。

错误原因分析：

在 SLR 分析表中，r 状态应该对应的是产生式本身，而不是产生式的编号。然而，代码中可能会使用 Find_pro 函数来查找产生式的编号，并将其作为 r 状态的值进行存储。这会导致在 listView 中显示的 r 状态值不准确。

解决方案：

为了解决这个问题，需要修改代码，将 SLRAna 数组中 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', item); // 修改：将 r 状态的值改为产生式本身
        }
    }

    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);
        }
    }
}

修改后的 Table 类：

class Table
{
    public char Type;
    public object Value; // 修改：将 Value 属性类型改为 object

    public Table()
    {
        Type = 'E';
        Value = null;
    }

    public Table(char type, object value)
    {
        Type = type;
        Value = value;
    }
}

通过以上修改，SLRAna 数组中 r 状态对应的值将不再是产生式的编号，而是产生式本身，从而确保了在 listView 中 r 状态的正确显示。

总结：

本文分析了 SLR 分析表构建算法中 r 状态显示错误的问题，并给出了针对性解决方案。通过修改代码，将 r 状态对应的值改为产生式本身，成功解决了该问题，并确保了 SLR 分析表中 r 状态的准确显示。