2.5 有限自动机的化简.pptVIP

极小有限自动机 Myhill-Nerode定理：米希尔－尼罗德定理，用字符串等价关系给出了正规语言的两个特征。是DFA化简的理论依据。 极小有限自动机的唯一性：正规语言的极小有限自动机是同构的。 极小有限自动机的构造方法：将给定的DFA转化为等价的极小DFA。 定义2.9 设 M 是一个DFA，其起始状态为q0。 对于两个字符串x, y，若 ?(q0,x)= ?(q0,y)，则称x与 y等价，记为 xRMy 显然， RM是一个等价关系（即满足自反性、对称性和传递性），并且RM 还是右不变关系。 定义2.10 设R是 上的一个等价关系，如果对任何串x,y,z都有 xRy ? xzRyz 称R为一个右不变关系。 易知，R M 是右不变的。 定义 对于语言L??*，定义?*上的一个右不变关系RL如下： x RL y ? （对任何z??*, xz?L ? yz?L） 易知，RL是右不变的等价关系。 x RL y ?（ x?L ? y?L） 定义 等价关系的指数 米希尔-尼罗德定理 令L ??*，下面3个命题等价： 1）L 是正规语言； 2）L是?*上某个指数有限的右不变关系的等价类的并集； 3）RL的指数是有限的。 证 明 1）? 2） 令M是识别L的DFA，则RM是右不变关系。RM 的每个等价类对应着M中一个唯一的状态，因此RM的指数是有限的。 此外，对于同一个等价类中的两个串x, y，都有 x?L ? y?L。 因此，L是RM的 有限个等价类的并集。 2）? 3） 设R是?*上的指数有限的右不变关系，使得L是其有限个等价类的并集。则 xRy ? 对任何z, xzRyz ? （对任何z, xz?L ? yz?L）? xRLy 因此 R?RL ，即R是的RL的加细。 由于R的指数有限， RL的指数也是有限的。 3）? 1）根据右不变等价关系RL 构造识别L的DFA M如下。令M的状态集Q为RL的商集即等价类集合，其中[ε]为起始状态，L中语句构成的等价类都是终止状态。 再定义转移函数如下： ?([x], a)=[xa] ?[x]?Q,?a?? 则M是识别L的DFA。 □ 米希尔-尼罗德定理的应用 可以应用米希尔-尼罗德定理证明一个语言是正规的或者不是正规的。 例 证明{0n1n|n ≥0}不是正规语言。 提示：找出RL的无限多个等价类。 练 习 第49页习题2.11 有限自动机同构 定义2.11 设两个DFA M1与 M2有相同多的状态，并且存在一个一一对应保持两个DFA中的转移关系，则称M1与 M2是同构的。 例2.15 两个DFA同构当且仅当两者的状态转移图同构。 极小有限自动机 定义2.12 设M为识别L的所有DFA中状态数最少的一个，则称M为识别语言L的极小DFA。? 易知，极小DFA中没有不可达状态。 引理 1 设L为一个正规语言，M是识别L的极小DFA，则M的状态集合与RM的等价类集合之间存在双射 f(q)= {x|?(q0, x)=q} 证明 对于M的任何状态q，令f(q)={x|?(q0,x)=q}。因为q是可达的 ，所以f(q)非空，根据定义f(q)是RM的一个等价类。显然，若p?q，则f(p)与f(q)不相交。因此， f是M的状态集合到RM的等价类集合上的双射。 ? 定理2.14 设L为一个正规语言，那么识别L的极小DFA在同构意义下是唯一的。 证明 令M为一识别L的极小DFA。 按照定理2.13的3）?1）的证明中的方法，由右不变关系RL可以构造出识别L的DFA，记为M’，它以RL的所有等价类作为状态。 根据定理2.13的2）?3）的证明得 RM?RL ，所以RM 的等价类个数不少于RL的等价类个数。 因此，根据上述引理1，M的状态个数不少于M’的状态个数。 又由于M是极小的DFA，所以M’也是极小DFA，与M有同样多的状态。因此，由引理1可知 RM=RL 。 根据引理1，在M的状态集合与RM的等价类集合之间存在双射f 满足 f(q)= {x|?(q0, x)=q} 其中?是M的转移函数。 设?(q, a