（对于某个组内的状态，输入所有可能的状态，如果没有转移到的组中，就是等价的，不需要将组别拆开）

　　考察划分П中的组{q4, q5, q6, q7}，当输入a或b的时候，该组可到达的状态集包含于{q4, q5, q6, q7}，因此该组可不再划分

　　再考察组 {q1, q2, q3}，由于该组在输入a时可到达的状态集合是{q2, q4}，不是П中的某个组，因此需要继续划分。由于q1, 经过a弧到状态q4, 而q1, q3均到达q2, 因为把q2单独划分出来

　　由于Пnew≠П，将П更新为Пnew ，重复算法第2步。考察组 {q1, q3}，由于该组在输入b时可到达的状态集合是{q3, q6}，不是П中的某个组，因此需要继续划分。由于q3, 经过b弧到状态q6, 而q1到达q3, 因为把q3单独划分出来

　　至此，整个划分包括4组状态集，每个状态集均不可再分，令状态f代表{q4, q5, q6, q7}，把原来到达{q4, q5, q6, q7}的弧全部导入到f。

　　5. 对一个状态集中的两个状态 i 和 j ，若对字母表中的某个符号，变换到已划分的不同的状态集中，则i和j这两个状态一定不等价。 对

　　5. (多选题)考虑由正规表达式(10)^∗01(10)^∗(01)描述的二进制串，下列哪些串是该正规表达式描述的合法串？

　　观察可以发现，{q0} 和 {q0,q1} 在 输入是a 和 b 的情况下转移到的状态是一样的，所以两个状态是等价的，于是可以化简 ：

　　9. 有一个语言的合法句子形式如下： {x x∈{0,1}^+，且x以1开头、以 101结尾}，请写出能描述该语言的正规表达式，构造相应的NFA，并将其转换为DFA，如能化简，则进行最小化处理。