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 startSymbol = listView2.Items[0].SubItems[0].Text; string endSymbols = listView2.Items[1].SubItems[0].Text; string[] endSymbolArray = endSymbols.Split(';'); int maxState = Convert.ToInt32(listView2.Items[2].SubItems[0].Text); string symbolSet = listView2.Items[3].SubItems[0].Text; string[] symbolSetArray = symbolSet.Split(';');

//创建保存文件对话框
SaveFileDialog saveFileDialog = new SaveFileDialog();
saveFileDialog.Filter = "文本文件|*.txt";
saveFileDialog.FileName = "DFA.txt";
if (saveFileDialog.ShowDialog() == DialogResult.OK)
{
    //写入文件
    using (StreamWriter sw = new StreamWriter(saveFileDialog.FileName))
    {
        sw.WriteLine("开始符:" + startSymbol + ";");
        sw.WriteLine("终结符:" + endSymbols + ";");
        sw.WriteLine("最大状态数:" + maxState);
        sw.WriteLine("符号集:" + symbolSet + ";");
        foreach (ListViewItem item in listView2.Items)
        {
            sw.WriteLine(item.SubItems[0].Text + "\t" + item.SubItems[1].Text + "\t" + item.SubItems[2].Text);
        }
    }
}