private void button8_Clickobject sender EventArgs e函数在private void button6_Clickobject sender EventArgs e函数基础上实现DFA文件保存功能文件名为DFAtxt后者已经用VS软件C#语言实现读入DFA文件的功能且该DFA文件的前四行中的数据不被显示在容器中第一行是开始符第二行是终结符第三行是最大状

private void button8_Click(object sender, EventArgs e) { //获取DFA的信息 string start = listView1.Items[0].SubItems[1].Text; string end = listView1.Items[1].SubItems[1].Text; string maxState = listView1.Items[2].SubItems[1].Text; string symbols = listView1.Items[3].SubItems[1].Text; string[,] transitions = new string[listView2.Items.Count, 3]; for (int i = 0; i < listView2.Items.Count; i++) { transitions[i, 0] = listView2.Items[i].SubItems[0].Text; transitions[i, 1] = listView2.Items[i].SubItems[1].Text; transitions[i, 2] = listView2.Items[i].SubItems[2].Text; }

//保存DFA文件
using (StreamWriter sw = new StreamWriter("DFA.txt"))
{
    sw.WriteLine("开始符:" + start + ";");
    sw.WriteLine("终结符:" + end + ";");
    sw.WriteLine("最大状态数:" + maxState);
    sw.WriteLine("符号集:" + symbols + ";");
    for (int i = 0; i < transitions.GetLength(0); i++)
    {
        sw.WriteLine(transitions[i, 0] + "\t" + transitions[i, 1] + "\t" + transitions[i, 2]);
    }
}

MessageBox.Show("DFA文件保存成功！");