C# 读取 NFA 文件数据：分离前三行并处理剩余数据

假设 NFA 文件的前三行数据分别是：状态数、起始状态、终止状态，那么可以先用 StreamReader 读取 NFA 文件的前三行数据，并分别保存到变量中。然后再用 StreamReader 读取文件的第四行开始的所有数据，并进行处理。

代码如下：

private void button3_Click(object sender, EventArgs e)
{
    // 1. 读取 NFA 文件的前三行数据
    StreamReader sr = new StreamReader('NFA.txt');
    int stateNum = int.Parse(sr.ReadLine());
    int startState = int.Parse(sr.ReadLine());
    string[] finalStatesStr = sr.ReadLine().Split(' ');
    List<int> finalStates = new List<int>();
    foreach (string s in finalStatesStr)
    {
        finalStates.Add(int.Parse(s));
    }
    sr.Close();

    // 2. 读取 NFA 文件第四行开始的所有数据
    sr = new StreamReader('NFA.txt');
    for (int i = 0; i < 3; i++)
    {
        sr.ReadLine(); // 跳过前三行
    }
    while (!sr.EndOfStream)
    {
        string line = sr.ReadLine();
        // 对读取的数据进行处理
    }
    sr.Close();
}

在第二个 StreamReader 中，先跳过前三行数据，然后进入循环，每次读取一行数据，并进行处理。处理的具体方法可以根据 NFA 文件的格式和需求进行编写。