设M为一个DFA,Reach(M)=M。
步骤如下:
1.用所有未排序的状态偶对建立一个表格。
2.标记所有偶对{p,q},一个属于终态,一个不属于终态。
3.p,q已标记为可区别的,如果其他状态r和s通过输入某个符号a可分别装移到p和q,标记为可区别的;或者无论输入多少次符号a都同时属于终态或不属于终态,则标记为不可区别的。
4.重复3,直到所有的状态偶对都标记完毕。
5.所有标记为不可区别的都是等价的。由此可以写出极小化的自动机M',L(M)=L(M')
设M为一个DFA,Reach(M)=M。
步骤如下:
1.用所有未排序的状态偶对建立一个表格。
2.标记所有偶对{p,q},一个属于终态,一个不属于终态。
3.p,q已标记为可区别的,如果其他状态r和s通过输入某个符号a可分别装移到p和q,标记为可区别的;或者无论输入多少次符号a都同时属于终态或不属于终态,则标记为不可区别的。
4.重复3,直到所有的状态偶对都标记完毕。
5.所有标记为不可区别的都是等价的。由此可以写出极小化的自动机M',L(M)=L(M')