对 DFA 的最小化的过程:
1. 非终态集合 I(1) = {0,1,2,5,6}, 终态集合 I(2) = {3,4}
2. 考察非终态集合 I(1) ={0,1,2,5,6},查 NFA 的确定化过程矩阵
I(1)a = {1, 2} I(1)b = {2,3,4,5,6},I(1)b 中的状态分属 I(1)和 I(2),因此可分,
其中{0,5,6}b 属于 I(1), {1,2}属于 I(2),所以分为{0,5,6}, {1,2};
目前状态集合 I(11) = {0,5,6}, I(12) = {1,2}, I(2) = {3,4}
3. 考察 I(11) = {0, 5, 6},查 NFA 的确定化过程矩阵
I(11)a = {1, 2},I(11)b = {2, 5, 6},I(11)b 中的状态分属 I(11)和 I(12),因此可
分,其中{0}b 属于 I(12), {5,6}b 属于 I(11),所以分为{0}, {5,6};
目前状态集合 I(111) = {0}, I(112) = {5,6}, I(12) = {1,2}, I(2) = {3,4}
4. 考察 I(112) = {5,6},查 NFA 的确定化过程矩阵,I(112)a 和 I(112)b 都在同一
个子集,因此不可分;
5. 考察 I(12) = {1,2},查 NFA 的确定化过程矩阵,I(12)a 和 I(12)b 都在同一个
子集,因此不可分;
6. 考察 I(2) = {3,4},查 NFA 的确定化过程矩阵,I(2)a 和 I(2)b 都在同一个子集,
因此不可分;
7. 最终状态集合为{0}, {5,6}, {1,2}, {3,4},标记为 T
0
, T
5
, T
1
, T
3
。
最小化的状态转换矩阵:终态结点为红字加粗
评论0