编译原理第三章(1425KB).PPTVIP

* “分割法”：把一个DFA(不含多余状态)的状态分割成一些不相关的子集，使得任何不同的两个子集状态都是可区别的，而同一个子集中的任何状态都是等价的. 例1:最小化 5 7 2 4 3 6 1 srart a a a a a a a b b b b b b b 状态集的划分 将所有DFA的终态与其它状态划分成两个子集G1,G2; 分别从两个子集G1,G2中寻找等价状态进行化简。 * 解: (一)区分终态与非终态 1 2 3 4 5 6 6 3 7 3 1 5 4 6 7 3 7 4 1 4 2 1 2 a b 5 6 7 3 7 4 1 4 2 a b 1 2 3 4 6 3 7 3 1 5 4 6 1 2 3 区号 区号 5 7 2 4 3 6 1 srart a a a a a a a b b b b b b b 将所有DFA的终态与其它状态划分成两个子集 * 1 2 3 4 5 6 6 3 7 3 1 5 4 6 7 3 7 4 1 4 2 a b 1 2 4 3 1 2 4 3 1 2 3 4 5 6 6 3 7 3 1 5 4 6 7 3 7 4 1 4 2 a b 5 区号 区号 1 2 3 4 5 a b 5 2 1 4 3 5 5 2 3 1 1 5 5 2 4 3 a a a a a b b b b b 5 6 7 3 7 4 1 4 2 a b 1 2 3 4