SLR 文法项目集构造代码优化

public void Buildprod(string str)
{

    LRNode Lr;
    int i = 0;
    string left = "";
    string right = "";
    left += 'S';
    right += str[0];
    Lr = new LRNode(left, right);//拓广文法开始
    LRproNum.Add(Lr);
    while (i < str.Length)
    {
        left = right = "";//还原
        int j = i;
        while (i < str.Length && str[i] != '\r' && str[i] != '\n')//换行符‘\r\n’
        {
            if (str[i] == ' ')
            {
                i++;
                continue;
            }
            if (str[i] == '|')                 //  遇到'|'可构造一条产生式
            {
                Lr = new LRNode(left, right);
                LRproNum.Add(Lr);
                right = "";                    //产生式左边相同 右边重新积累
                i++;                           //跳过'|'
                continue;
            }
            if ((i - j) == 0)
            {
                if (!exist(Nchar, str[i]))//如果非终结符集合中不存在str[i],加入Nchar  产生式左边 只有非终结符 不必判断终结符
                    Nchar.Add(str[i]);
                left += str[i++];
            }
            else if (i - j <= 2)
                i++;
            else
            {
                if (isFinalsymbol(str[i]) && !exist(Nchar, str[i]))//如果非终结符集合中不存在str[i],加入Nchar  isfinalsymbol 非终结符返回T 终结符返回F
                    Nchar.Add(str[i]);
                else if (!isFinalsymbol(str[i]) && !exist(Echar, str[i]))//产生式右边 需要判断终结符
                    Echar.Add(str[i]);
                right += str[i++];
            }


        }//while

        i++;//跳过换行符
        if (left != "" && right != "")
        {
            Lr = new LRNode(left, right);//构造每一行最后一个产生式，不存在'|'时就是该行产生式本身
            LRproNum.Add(Lr);
        }
    }//while
    Echar.Add('#');

    //构造项目 对产生式集合LRproNum中的所有产生式都循环插'.'
    LRNode Lobj;
    for (i = 0; i < LRproNum.Count; i++)
    {
        left = "";
        right = "";
        for (int j = 0; j <= LRproNum[i].Right.Length; j++)//j可以等于length  项目共length+1个
        {
            left = LRproNum[i].Left;
            right = CreObj(LRproNum[i].Right, j);//在第j个位置插入'.'
            if (j == LRproNum[i].Right.Length && LRobjNum.Count != 1)
            {//在产生式最后的位置插入. 即为归约项目   项目集中1号位置为接受项目
                Gy_obj.Add(LRobjNum.Count);//归约项目在项目集中的序号 不用+1 本身就是从0开始的
            }
            Lobj = new LRNode(left, right);
            LRobjNum.Add(Lobj);
            left = "";//还原
            right = "";
        }
    }
    Creteitemsets();//项目集
    RStr_obitemset += "\r\n项目集构建：\r\n";
    for (int j = 0; j < proitemset.Count; j++)
    {
        RStr_obitemset += 'I' + j.ToString() + ':' + "\r\n";
        for (i = 0; i < proitemset[j].Container.Count; i++)
        {
            RStr_obitemset += LRobjNum[proitemset[j].Container[i]].Left.ToString() + "->" + LRobjNum[proitemset[j].Container[i]].Right.ToString() + "\r\n";
        }
    }
    //return RStr_obitemset;



}


public Table[][] GET_ANA()
{
    LRAnaly();
    RStr_ANA += "\r\nLR0分析表：\r\n    ";
    int i;
    for (i = 0; i < Echar.Count; i++)
    {
        RStr_ANA += Echar[i].ToString() + "     ";
    }
    for (i = 0; i < Nchar.Count; i++)
    {
        RStr_ANA += Nchar[i].ToString() + "     ";
    }
    RStr_ANA += "\r\n";
    for (i = 0; i < proitemset.Count; i++)
    {
        RStr_ANA += i.ToString() + "  ";
        for (int j = 0; j < Echar.Count + Nchar.Count; j++)
        {

            if (LRAna[i][j].error)
            {
                RStr_ANA += "  " + "    ";
            }
            else if (i == 1 && j == Echar.Count - 1)
            {
                RStr_ANA += "AC" + "    ";
            }
            else if (LRAna[i][j].type != 'N')
            {
                RStr_ANA += LRAna[i][j].type.ToString() + LRAna[i][j].id.ToString() + "    ";
            }
            else
                RStr_ANA += LRAna[i][j].id.ToString() + "    ";
        }
        RStr_ANA += "\r\n";
    }

    return LRAna;

}
        

//求项目集
public void Creteitemsets()
{
    List<int> lr_item = new List<int>(100);//记录项目的序号
    lr_item.Add(0);
    lr_item = Closure(lr_item);//构造初始项目集 求闭包

    LRitemsets LR_C = new LRitemsets();
    LR_C.Container = lr_item;//集合----项目集序号的集合
    proitemset.Add(LR_C);//集合的集合----存放项目集序号集合 的集合


    for (int i = 0; i < proitemset.Count; i++)//整体集合中 第i个项目集
    {
        proitemset[i].Container.Sort();//排序由小到大 后面用于判断是否存在的比较
        int[] flag = new int[proitemset[i].Container.Count];
        for (int fi = 0; fi < proitemset[i].Container.Count; fi++)
        {
            flag[fi] = 0;
        }

        for (int j = 0; j < proitemset[i].Container.Count; j++)//第i个项目集的第j个项目
        {
            if (flag[j] == 1)
                continue;
            int index = proitemset[i].Container[j];
            for (int pi = 0; pi < LRobjNum[index].Right.Length - 1; pi++)
            {
                if (LRobjNum[index].Right[pi] == '.')
                {

                    List<int> lr2_club = new List<int>(100);//记录项目的序号
                    char symbol = LRobjNum[index].Right[pi + 1];//记录.a转移状态a.的符号a
                    lr2_club.Add((index + 1));//如果遇到.a形式的项目序号为index 那么项目a.的序号为index+1
                    for (int m1 = j + 1; m1 < proitemset[i].Container.Count; m1++)
                    {
                        int index2 = proitemset[i].Container[m1];
                        for (int m2 = 0; m2 < LRobjNum[index2].Right.Length - 1; m2++)
                        {
                            if (LRobjNum[index2].Right[m2] == '.' && LRobjNum[index2].Right[m2 + 1] == symbol)
                            {
                                flag[m1] = 1;
                                lr2_club.Add(index2 + 1);
                            }
                        }
                    }
                    lr2_club = Closure(lr2_club);//求闭包
                    int value = isexist(new LRNode(LRobjNum[index].Left, CreObj(LRobjNum[index].Right, pi + 2)));
                    if (value == -1)
                    {
                        for (int m3 = 0; m3 < Gy_obj.Count; m3++)
                        {
                            if (isnexist(lr2_club, Gy_obj[m3]))
                            {
                                Gy_itemset.Add(proitemset.Count);
                            }
                        }
                        LRitemsets LR_C2 = new LRitemsets();
                        dfa[Pindex++] = new DFA(i, symbol, proitemset.Count);
                        LR_C2.Container = lr2_club;
                        proitemset.Add(LR_C2);
                    }
                    else
                    {
                        dfa[Pindex++] = new DFA(i, symbol, value);
                    }
                    break;
                }
            }
        }
    }
}

//闭包函数，SLR文法的闭包函数与LR0文法的闭包函数相同，只需要将LRobjNum改为LRproNum即可
public List<int> Closure(List<int> lr_item)
{
    List<int> lr_club = new List<int>(100);//记录项目的序号
    lr_club.AddRange(lr_item);//将传入的项目集序号加入到闭包中
    for (int i = 0; i < lr_club.Count; i++)
    {
        int index = lr_club[i];//取出一个项目
        for (int j = 0; j < LRproNum.Count; j++)
        {
            if (LRproNum[j].Left == LRobjNum[index].Right && LRproNum[j].Right[0] == '.')//如果找到一个可以转移的产生式
            {
                LRNode Lr = new LRNode(LRproNum[j].Left, CreObj(LRproNum[j].Right, 1));//将该产生式加入到闭包中
                int value = isexist(Lr);//判断该产生式是否已经存在
                if (value == -1)//如果不存在，则加入到闭包中
                {
                    lr_club.Add(LRobjNum.Count);
                    LRobjNum.Add(Lr);
                }
            }
        }
    }
    return lr_club;
}

//判断产生式是否相同的函数，SLR文法的项目集构造中只需要判断产生式是否相同，因此只需要比较产生式左部和右部即可
public int isexist(LRNode Lr)
{
    for (int i = 0; i < LRobjNum.Count; i++)
    {
        if (Lr.Left == LRobjNum[i].Left && Lr.Right == LRobjNum[i].Right)//判断产生式左部和右部是否相同
        {
            return i;
        }
    }
    return -1;
}