首先是未化簡DFA的轉換表
NFA狀態 | DFA狀態 | a | b |
{0,1,2,4,7} | A | B | C |
{1,2,3,4,6,7,8} | B | B | D |
{1,2,4,5,6,7} | C | B | C |
{1,2,4,5,6,7,9} | D | B | E |
{1,2,4,5,6,7,10} | E | B | C |
首先根據分為非接受狀態組和接受狀態組{A,B,C,D}和{E}。
通過輸入a來分組,發現第一組無法區分,看輸入b的情況,A,B,C都是轉到第一組,只有D是轉到第二組E,所以這里就可以分出來一組D,現在有3組,{A,B,C},{D},{E}。
接着輸入a,無法區分,輸入b,發現B是轉到現在的第二組D,A和C都是轉到原來的第一組,所以分出來一組B,得到{A,C},{B},{D},{E},得到四組,接下來無法繼續分組了。用A,B,D,E,來表示表示上述四組。列出轉換表
DFA | a | b |
A | B | A |
B | B | D |
D | B | E |
E | B | A |
這樣就完成了DFA的化簡