请依据SLR1分析表构建的步骤分析下列代码的错误并给出结论、指出错误部分和修改后的代码。示例:输入文法假设为LR0文法:E-E+TTT-TFFF-Ed生成的部分SLR分析表:状态+d#E4 S4 S5 85r6r6 r6 r6 6 S4 S5 7 S4 S5 8S6 S11 9r1S7 r1 r110r3r3 r3 r311r5r5 r5 r5求项目集 public
代码错误:在SLR分析表构建中,存在一个无法识别的符号。
错误部分:在SLRAnaly()函数中,当判断symbol为非终结符时,在SLRAna数组中添加状态N时,CID应该加上Echar.Count,但是代码中CID没有加上Echar.Count,导致索引错误。
修改后的代码:
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));
}
}
for (int i = 0; i < Pindex; i++)
{
if (isFinalsymbol(dfa[i].symbol))//symbol为非终结符 添加状态N
{
int CID = FindID(Nchar, dfa[i].symbol); // 修改:应该加上Echar.Count
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);
}
}
原文地址: https://www.cveoy.top/t/topic/hjOl 著作权归作者所有。请勿转载和采集!