《05正则语言的性质.pptVIP

* Myhill-Nerode 定理的推论 推论 5-2 对于任意的 RL L，如果 DFA M=(Q,∑,δ, q0 , F) 满足 L(M)=L，则|∑*/RL|≤|Q|。 即 对于任意DFA M=(Q,∑,δ, q0, F)，|Q|≥|∑*/RL(M)|。 也表明，对任意一个 RL L，按照定理5-7中所给的方法构造出来的DFA M 是一个接受 L 的最小DFA。 问题：这个 DFA 是惟一的么？ 推论5-3 对于任意的 RL L，在同构意义下，接受 L 的最小DFA是惟一的。 接受 L 的最小 DFA M=(Q,∑, δ, q0 , F) 定理5-7 构造的 DFA M =(∑*/RL, ∑, δ , [ε], {[x] | x∈L }) M 与 M 同构，是指二者的状态数一一对应，状态转移也是一一对应的。 定义映射：f (q)=f (δ(q0 , x) )= δ ( [ε], x )=[x] 即让 M 的状态 [x] 与 M 的状态 q=δ(q0 , x) 对应， 该状态正是 x 引导 M 从 q0 出发所到达的状态。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * 推论5-