DFA的最小化44.pptVIP

确定的有穷自动机（DFA）的最小化 DFA的最小化 1.什么是最小化? 2.能不能最小化? 3.怎样最小化? 1.什么是最小化？ 定义：DFA的最小化就是寻求 状态数最小的 与原DFA等价的 DFA 意义：最小化可以降低编译器构造的复杂度、提高编译器的运行效率。 最小化的例子 2.能不能最小化？ 定理： 对于一个DFA M =（K,∑, f, k0, kt)， 存在一个唯一最小状态（就状态数而言） DFA M’ =（K’,∑, f’, k0’, kt’) 与之等价。 （证明略） 3.怎样最小化－－例子1 怎样最小化－－例子1小结 消除多余状态 什么是多余状态？ 从这个状态没有通路到达终态；S1 从开始状态出发，任何输入串也不能到达的那个状态。S2 如何消除多余状态？ 删除 怎样最小化－－例子2 怎么最小化－－例子2小结 合并等价状态 什么是等价状态？ 如何寻找等价状态？ 如何合并？ 等价状态 在有穷自动机中，两个状态s和t等价的条件是： 一致性条件——状态s和t必须同时为终态或非终态。 蔓延性条件——对于所有输入符号，状态s和状态t必须转换到等价的状态里。 如果状态s和状态t不等价，则称这两个状态是可区别的。 等价状态 合并等价状态的目标 把一个DFA的状态分成一些不相交的子集，使得任何不同的两子集的状态都是可区别的，而同一子集中的任何两个状态都是等价的。 最小化－例子 总结 1.什么是最小化? 没有多余状态(死状态) 没有两个状态是互相等价（不可区别） 2.能不能最小化? 有定理保证，一定存在最小状态的DFA与之等价 3.怎样最小化? 消除多余状态 合并等价状态 识别等价状态－－分割法（重点） 合并等价状态 * * b b A1: 2 a 1 0 a b 3 b b b 2 a 1 0 a b A2: b b 2 1 a A3: {ambn|m≧0,n ≧1} a a Z b S1 S a S3 b S2 a b Z a S3 S a b b 3 a 1 0 b 2 b b b 3 a 4 0 b 等价状态，合并 b c 6 a 1 5 b d 2 b a 3 4 7 a d b b b 6 与 7等价 3 与 4等价 1与 5可区别 c ∑＝｛a,b,c,d｝ 合并等价状态 A 1,2,3,4,5,6,7 A1 A2 A3 1,2 3,4 5 A4 6,7 b c 6 a 1 5 b d 2 b a 3 4 7 a d b b b a b 1 3 2 2 4 2 3 6 3 5 4 7 3 5 5 4 6 6 7 6 c d c 合并等价状态 －－－分割法 b c 6 a 1 5 b d 2 b a 3 4 7 a d b b b c a b 1 3 2 2 4 2 3 6 3 5 4 7 3 5 5 4 6 6 7 6 c d Π1 Π2 a b 1 3 2 2 4 2 3 6 3 5 4 7 3 5 5 4 6 6 7 6 c d 合并等价状态 －－－分割法 3 6 3 5 4 7 3 5 b c 6 a 1 5 b d 2 b a 3 4 7 a d b b b a b 1 3 2 2 4 2 3 6 3 5 4 7 3 5 5 4 6 6 7 6 c d Π1 Π2 a b 1 3 2 2 4 2 5 4 6 6 7 6 c d Π2 Π1 Π3 c 合并等价状态 －－－分割法 5 4 3 6 3 5 4 7 3 5 b c 6 a 1 5 b d 2 b a 3 4 7 a d b b b a b 1 3 2 2 4 2 6 6 7 6 c d Π1 3 6 3 5 4 7 3 5 a b 1 3 2 2 4 2 5 4 6 6 7 6 c d Π1 Π3 Π2 Π2 Π3 Π4 c 合并等价状态 －－－分割法 5 4 3 6 3 5 4 7 3