笔记

翻译 table-filling-algorithm

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