LR(0) 文法冲突检测：实现移进-归约冲突检测

private void button2_Click(object sender, EventArgs e) { string str = richTextBox1.Text; if (str.Length == 0) { MessageBox.Show("输入为空"); return; } string temp = ""; int i = 0; while (i < str.Length) { temp = ""; while (i < str.Length && str[i] != '\r' && str[i] != '\n') { if (str[i] != ' ') temp += str[i]; i++; } i++; // int j=0;

    if (temp.Length > 0 && temp[temp.Length - 1] == '|')
    {
        MessageBox.Show('不得包含空串！');
        return;
    }
    if (temp.Length > 3 && temp[3] == '|')
    {
        MessageBox.Show('存在移进-归约冲突！');
        return;
    }
    if (temp.Length > 3)
    {
        if (temp[0] < 'A' || temp[0] > 'Z')
        {
            MessageBox.Show('含有非法左部！');
            return;
        }
        if (temp[1] != '-' || temp[2] != '>')
        {
            MessageBox.Show('产生式输入不规范！');
            return;
        }
    }
    if (temp.Length <= 3 && temp.Length > 0)
    {
        MessageBox.Show('产生式输入不规范！');
        return;
    }
}
MessageBox.Show('正确的LR(0)文法');
button4.Enabled = true;
button5.Enabled = true;
button6.Enabled = true;

}

private void button5_Click(object sender, EventArgs e) { listView2.Clear();

LR.Table[][] table;
table = lr.GET_ANA();
int xlen = table.GetLength(0);
int ylen = table[1].Length;

listView2.Columns.Clear();
listView2.Items.Clear();
listView2.View = View.Details;

listView2.Columns.Add(" ");

for (int i = 0; i < lr.Echar.Count; i++)//添加表头
{
    string text = lr.Echar[i].ToString();
    listView2.Columns.Add(text,58);

}
for (int i = 0; i < lr.Nchar.Count; i++)//添加表头
{
    string text = lr.Nchar[i].ToString();
    listView2.Columns.Add(text,58);
}

for (int i = 0; i < xlen; i++)
{
    ListViewItem li = new ListViewItem(i.ToString());

    for (int j = 0; j < ylen; j++)
    {
        string st = "";
        if (table[i][j].error)
            st = "-";
        else if (table[i][j].type == 'A')
            st = "AC";
        else if (table[i][j].type == 'S' || table[i][j].type == 'R')
        {
            if (table[i][j].id == -1)
            {
                MessageBox.Show('存在移进-移进或归约-归约冲突！');
                return;
            }
            else
            {
                st = table[i][j].type.ToString() + table[i][j].id.ToString();
            }
        }
        li.SubItems.Add(st);

    }
    listView2.Items.Add(li);
}

listView2.GridLines = true;

}

// 生成项目族信息 private void button4_Click(object sender, EventArgs e) { // ShowDFA.Enabled = true; step = 0;//单步计数置零 lr = new LR();

listView1.Columns.Clear();
listView1.Items.Clear();
listView1.View = View.Details;

// 添加第一列
listView1.Columns.Add("状态", 150);
listView1.Columns.Add("项目族信息", 350);

lr.Buildprod(richTextBox1.Text);//调用

for (int i = 0; i < lr.proitemset.Count; i++)//输出
{
    ListViewItem li = new ListViewItem();
    li.SubItems.Clear();
    li.SubItems[0].Text = i.ToString();
    string tempstr = "";
    for (int j = 0; j < lr.proitemset[i].Container.Count; j++)
    {
        tempstr += lr.LRobjNum[lr.proitemset[i].Container[j]].Left + "->" + lr.LRobjNum[lr.proitemset[i].Container[j]].Right + " ";
    }
    li.SubItems.Add(tempstr);
    listView1.Items.Add(li);
}
listView1.GridLines = true;

}

// 构造LR分析表 private void button5_Click(object sender, EventArgs e) { listView2.Clear();

LR.Table[][] table;
table = lr.GET_ANA();
int xlen = table.GetLength(0);
int ylen = table[1].Length;

listView2.Columns.Clear();
listView2.Items.Clear();
listView2.View = View.Details;

listView2.Columns.Add(" ");

for (int i = 0; i < lr.Echar.Count; i++)//添加表头
{
    string text = lr.Echar[i].ToString();
    listView2.Columns.Add(text,58);

}
for (int i = 0; i < lr.Nchar.Count; i++)//添加表头
{
    string text = lr.Nchar[i].ToString();
    listView2.Columns.Add(text,58);
}

for (int i = 0; i < xlen; i++)
{
    ListViewItem li = new ListViewItem(i.ToString());
    
    for (int j = 0; j < ylen; j++)
    {
        string st = "";
        if (table[i][j].error)
            st = "-";
        else if (table[i][j].type == 'A')
            st = "AC";
        else if (table[i][j].type == 'S' || table[i][j].type == 'R')
        {
            if (table[i][j].id == -1)
            {
                MessageBox.Show('存在移进-移进或归约-归约冲突！');
                return;
            }
            else
            {
                st = table[i][j].type.ToString() + table[i][j].id.ToString();
            }
        }
        li.SubItems.Add(st);

    }
    listView2.Items.Add(li);
}

listView2.GridLines = true;

}

private void button6_Click(object sender, EventArgs e)//分析句子 { if (textBox1.Text.Length == 0) { MessageBox.Show("输入为空，分析失败"); return; }

// 分析句子
for (int i = 0; i < textBox1.Text.Length; i++)
{
    if (!lr.exist(lr.Echar, textBox1.Text[i]))
    {
        MessageBox.Show("含有未知字符！");
        return;
    }
}
step = 0;//单步操作置零

listView3.Clear();
listView3.Columns.Clear();
listView3.Items.Clear();
listView3.View = View.Details;

string[] text = { "步骤", "状态栈", "符号栈", "输入串", "所用产生式" };
int[] width = { 45, 70, 70, 70, 100 };
for (int i = 0; i < text.Count(); i++)
{
    listView3.Columns.Add(text[i], width[i]);
}
lr.sen_Analyze(textBox1.Text);//调用


if (lr.Success)//判断
    MessageBox.Show("分析成功，是该文法的一个句子！");
else
    MessageBox.Show("分析失败！");

listView3.GridLines = true;
button7.Enabled = true;
button8.Enabled = true;