分析表 public void LRAnaly Table tnode = new Table; LRAna = new TableproitemsetCount; for int i = 0; i proitemsetCount; i++ LRAnai = new Ta

//分析表 public void SLRAnaly() { Table tnode = new Table();

LRAna = new Table[proitemset.Count][];
for (int i = 0; i < proitemset.Count; i++)
    LRAna[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状态 
        LRAna[i][j] = tnode;

tnode = new Table('A', 0);
LRAna[1][FindID(Echar, '#')] = tnode;//项目集1必定是接受项目   构建[1][#]:acc的情况 先直接赋值好 dfa里没有

for (int i = 0; i < Gy_itemset.Count; i++)
{
    tnode = new Table('r', Find_pro(LRobjNum[proitemset[Gy_itemset[i]].Container[0]]));//归约项目 找到原产生式序号 添加状态r
    for (int j = 0; j < Echar.Count; j++)
    {
        if (Follow[Nchar.IndexOf(proitemset[Gy_itemset[i]].Container[0])].Contains(Echar[j]))
        {
            LRAna[Gy_itemset[i]][j] = tnode;
        }
    }
    if (Follow[Nchar.IndexOf(proitemset[Gy_itemset[i]].Container[0])].Contains('#'))
    {
        LRAna[Gy_itemset[i]][FindID(Echar, '#')] = tnode;
    }
}

for (int i = 0; i < Pindex; i++)
{

    if (isFinalsymbol(dfa[i].symbol))//symbol为非终结符  添加状态N
    {
        int CID = FindID(Nchar, dfa[i].symbol);
        tnode = new Table('N', dfa[i].to);
        for (int j = 0; j < Echar.Count; j++)
        {
            if (First[CID].Contains(Echar[j]))
            {
                LRAna[dfa[i].from][j] = tnode;
            }
        }
        if (First[CID].Contains('#'))
        {
            LRAna[dfa[i].from][FindID(Echar, '#')] = tnode;
        }
    }
    else //不是归约项目 添加状态S
    {
        int CID = FindID(Echar, dfa[i].symbol);
        tnode = new Table('S', dfa[i].to);
        LRAna[dfa[i].from][CID] = tnode;
    }

}