编译3词法_zss_3.pptVIP

* * I a b 0 1 2 1 3 2 2 1 5 3 3 4 4 6 5 5 6 5 6 3 4 0 1 2 3 5 4 6 a a b b b a b a a b a b a b * * FA 正规集 正规式 DFA NFA 正规文法 3.3.1 3.3.2 3.3.3 3.3.4 3.3.5 DFA 3.3.6 * * 3.3.6 确定有限自动机的化简 对DFA M的化简:寻找一个状态数比M少的DFA M’，使得L(M)=L(M’) 假设s和t为M的两个状态，称s和t等价:如果从状态s出发能读出某个字?而停止于终态，那么同样，从t出发也能读出?而停止于终态；反之亦然。 两个状态不等价，则称它们是可区别的。 状态等价 状态可区别 * * 对一个DFA M最少化的基本思想: 把M的状态集划分为一些不相交的子集，使得任何两个不同子集的状态是可区别的，而同一子集的任何两个状态是等价的。最后，从每个子集选出一个代表，同时消去其他状态。 * * 具体做法: 对M的状态集进行划分 首先，把S划分为终态和非终态两个子集，形成基本划分?。 假定到某个时候，?已含m个子集，记为?={I(1)，I(2)，?，I(m)}，检查?中的每个子集看是否能进一步划分: 对某个I(i)，令I(i)={s1,s2, ?,sk}，若存在一个输入字符a使得Ia(i) 不会包含在现行