C# 实现 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)
                {
                    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 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].shift_reduce_conflict)//移进-归约冲突
                        st = 'SR' + table[i][j].id.ToString();
                    else if (table[i][j].reduce_reduce_conflict)//归约-归约冲突
                        st = 'RR' + table[i][j].id.ToString();
                    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;

        }

在上述代码中，新增了两个字段来表示移进-归约冲突和归约-归约冲突。如果在某个状态下存在冲突，就将冲突标记为true，并在对应的表格单元格中显示冲突类型和冲突产生式的编号。这样就可以在分析LR分析表时准确地判断冲突，避免错误的操作。