DFA化简

  首先是未化简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的化简

猜你喜欢

转载自www.cnblogs.com/fqfzs/p/9267820.html
DFA