首先是未化简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的化简
原文地址：https://www.cnblogs.com/fqfzs/p/9267820.html
时间： 2024-11-09 00:11:30