C# 使用 ListView 生成 NFA 文件并读取解析

本示例代码展示如何使用 C# 语言实现将 ListView 数据生成 NFA 文件，并读取解析 NFA 文件，并将结果显示在另一个 ListView 中。

NFA 文件格式:

第一行是开始符，格式为 开始符: [开始符值];
第二行是终结符，格式为 终结符: [终结符值1];[终结符值2];...;
第三行是最大状态数，格式为 最大状态数: [状态数];
第四行是符号集，格式为 符号集: [符号1];[符号2];...;
之后是状态转移信息，每行代表一条转移规则，格式为 [起始状态] [接受符号] [到达状态]

示例代码:

private void button6_Click(object sender, EventArgs e)
{
    OpenFileDialog openFileDialog1 = new OpenFileDialog();
    openFileDialog1.Filter = "NFA files (*.txt)|*.txt";
    openFileDialog1.Title = "Select an NFA File";
    if (openFileDialog1.ShowDialog() == DialogResult.OK)
    {
        string fileName = openFileDialog1.FileName;
        string[] lines = System.IO.File.ReadAllLines(fileName);
        string startSymbol = lines[0].Split(':')[1].Trim();
        string[] terminalSymbols = lines[1].Split(':')[1].Trim().Split(';');
        int maxStateNum = int.Parse(lines[2].Split(':')[1].Trim());
        string[] alphabet = lines[3].Split(':')[1].Trim().Split(';');

        // Display the result in the listView2 control
        listView2.Clear();
        listView2.Columns.Add("起始状态", 100);
        listView2.Columns.Add("接受符号", 100);
        listView2.Columns.Add("到达状态", 100);

        for (int i = 4; i < lines.Length; i++)
        {
            string[] items = lines[i].Split('	');
            string startState = items[0];
            string symbol = items[1];
            string endState = items[2];

            ListViewItem listViewItem = new ListViewItem(startState);
            listViewItem.SubItems.Add(symbol);
            listViewItem.SubItems.Add(endState);

            listView2.Items.Add(listViewItem);
        }
    }
}

private void button5_Click(object sender, EventArgs e)
{
    SaveFileDialog saveFileDialog1 = new SaveFileDialog();
    saveFileDialog1.Filter = "NFA files (*.txt)|*.txt";
    saveFileDialog1.Title = "Save NFA File";
    if (saveFileDialog1.ShowDialog() == DialogResult.OK)
    {
        string fileName = saveFileDialog1.FileName;

        // Get data from the listView1 control
        List<string> data = new List<string>();
        data.Add("开始符:" + listView1.Items[0].SubItems[0].Text + ";");
        data.Add("终结符:" + string.Join(";", listView1.Items[1].SubItems[0].Text.Split(',')) + ";");
        data.Add("最大状态数:" + listView1.Items[2].SubItems[0].Text + ";");
        data.Add("符号集:" + string.Join(";", listView1.Items[3].SubItems[0].Text.Split(',')) + ";");

        for (int i = 0; i < listView1.Items.Count; i++)
        {
            string startState = listView1.Items[i].SubItems[0].Text;
            string symbol = listView1.Items[i].SubItems[1].Text;
            string endState = listView1.Items[i].SubItems[2].Text;

            data.Add(startState + "\t" + symbol + "\t" + endState);
        }

        // Write data to the file
        System.IO.File.WriteAllLines(fileName, data);
    }
}

代码说明:

button6_Click 函数用于读取 NFA 文件，并解析数据显示在 listView2 控件中。
button5_Click 函数用于将 listView1 控件中的数据生成 NFA 文件。
代码使用 OpenFileDialog 和 SaveFileDialog 类进行文件选择操作。
代码使用 System.IO.File 类进行文件读取和写入操作。

使用说明:

确保 listView1 和 listView2 控件分别用于存放 NFA 文件的输入数据和解析后的数据。
listView1 控件中应包含四行数据，分别对应开始符、终结符、最大状态数和符号集。
运行代码后，点击 button5 按钮可以生成 NFA 文件，点击 button6 按钮可以读取并解析 NFA 文件。

注意:

代码中的 listView1 和 listView2 控件名称需要根据实际情况进行修改。
代码中使用 \t 作为状态转移信息的分割符，需要确保 listView1 中的数据使用 \t 进行分割。
代码中的 ; 作为终结符和符号集元素的分割符，需要确保 listView1 中的数据使用 ; 进行分割。
代码中使用 Split(',') 方法将字符串按逗号进行分割，需要确保 listView1 中的数据使用逗号进行分割。

扩展:

可以根据实际需求对代码进行修改，例如增加对 NFA 文件的校验功能，或者添加对 DFA 文件的支持。
可以使用其他 UI 控件，例如 DataGridView 控件，来展示 NFA 文件的数据。
可以使用其他编程语言实现类似的功能。

希望本示例代码可以帮助您更好地理解如何使用 C# 语言实现 NFA 文件的生成和读取解析功能。