C# 实现 LR(0) 文法判断 - 代码示例

namespace byyljxfzxt
{
    public partial class Form5 : Form
    {
        public Form5()
        {
            InitializeComponent();
        }

        //--------------------预处理
        Dictionary<string, List<string>> production;//产生式
        

        private void label1_Click(object sender, EventArgs e)
        {

        }

        private void textBox1_TextChanged(object sender, EventArgs e)
        {
            listView3.Items.Clear();
        }



        private void button2_Click(object sender, EventArgs e)
        {
            string text = richTextBox1.Text;
            production = new Dictionary<string, List<string>>();
            string[] pro = text.Split('\n');
            foreach (string s in pro)
            {
                if (s == "") continue;

                Regex.Replace(s, " ", "");
                string[] ga = Regex.Split(s, "->");
                if (ga.Length != 2) return;
                if (ga[0].Length == 0 || ga[1].Length == 0)
                    return;
                if (ga[0].Length != 1 || !char.IsUpper(ga[0][0])) return;

                string[] ga2 = Regex.Split(ga[1], "\|");
                if (!production.ContainsKey(ga[0]))
                    production.Add(ga[0], new List<string>());
                foreach (string s1 in ga2)
                    production[ga[0]].Add(s1);
            }

            // 判断是否为LR(0)文法
            bool isLR0 = true;
            foreach (var item in production)
            {
                string left = item.Key;
                List<string> rightList = item.Value;
                foreach (string right in rightList)
                {
                    if (right.Length == 1 && char.IsUpper(right[0])) // 形如A->B
                    {
                        if (!production.ContainsKey(right))
                        {
                            isLR0 = false;
                            break;
                        }
                    }
                    else if (right.Length > 1) // 形如A->aB或A->a
                    {
                        for (int i = 0; i < right.Length - 1; i++)
                        {
                            if (char.IsUpper(right[i]) && !char.IsUpper(right[i + 1])) // 形如A->aB
                            {
                                string beta = right.Substring(i + 1);
                                foreach (string s in rightList)
                                {
                                    if (s.Length == beta.Length && s.StartsWith(beta))
                                    {
                                        isLR0 = false;
                                        break;
                                    }
                                }
                            }
                        }
                    }
                    if (!isLR0) break;
                }
                if (!isLR0) break;
            }
            if (isLR0)
                MessageBox.Show("该文法是LR(0)文法");
            else
                MessageBox.Show("该文法不是LR(0)文法");
        }

    }
}

该代码首先从文本框中读取产生式，并利用字典数据结构进行存储，然后根据 LR(0) 文法的定义，判断是否满足条件。代码中使用了 char.IsUpper 函数判断字符是否为大写字母，以及 StartsWith 函数判断字符串是否以指定字符串开头，以判断产生式是否符合 LR(0) 文法的要求。最终代码会根据判断结果显示相应的提示信息。

需要注意的是，该代码仅为一个简单的示例，并不能处理所有情况下的 LR(0) 文法判断。 例如，代码没有考虑文法中的 ε 产生式，以及其他一些特殊情况。 如果需要更完整的 LR(0) 文法判断实现，需要参考更专业的编译原理书籍或资料。