table-filling-algorithm

设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')