- 1、本文档共94页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
* 当ε∈L2时, L1? L1/L2。 * 当ε∈L2时, L1? L1/L2。 * 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 出发所到达的状态。 * 推论5-3 推论5-3 对于任意的 RL L,在同构意义下,接受 L 的最小DFA 是惟一的。 证明: 接受 L 的最小 DFA M = (Q,∑,δ, q0 , F) 的状态数与 RL 的指数相同,也就是说,这个最小 DFA 的状态数与 Myhill-Nerode 定理证明中构造的 M =(∑*/RL,∑,δ , [ε], {[x] | x∈L} )的状态数是相同的。 DFA 同构是指这两个 DFA 的状态之间有一个一一对应,而且这个一一对应还保持状态转移也是相应一一对应的。也就是说,如果 q 与 [w] 对应,p 与 [z] 对应,当δ(q, a)=p时,必定有δ([w], a)=[z]。 这两个 DFA 是同构。定义映射 f f (q)=f (δ(q0 , x) )= δ ( [ε], x)=[x] 即让 M 的状态 [x] 与 M 的状态 q=δ(q0 , x)对应, 该状态正是 x 引导 M 从 q0 出发所到达的状态。 * 推论5-3 往证 f 为 Q 与 ∑*/RL 之间的一一对应。 如果δ(q0 ,x)=δ(q0 ,y),则 xRM y 由于 RM 是 RL 的加细,所以,x RL y 故,[x]=[y],即δ([ε], x)=δ([ε], y)。 如果 δ(q0 ,x)≠δ(q0 ,y) 则 δ ([ε],x)≠δ ([ε], y) 即 [x]≠[y] 否则 |∑*/RM ||∑*/RL |。 这与 M 是最小 DFA 矛盾。 所以,f 是 Q 与 ∑*/RL 之间的一一对应。 * 推论5-3 往证,如果δ(q, a)=p,f (q)=f (δ(q0,x))=[x], 由于δ ([ε], xa)=[xa],因此必有 f (p)=[xa]。 事实上,对于 ?q∈Q, 如果 f (q) = f (δ(q0,x))=[x] 则对于 ?a∈∑,如果 p=δ(q, a)=δ(δ(q0,x), a)=δ(q0,xa ) 则 f (p)=f (δ(q, a))= f (δ(δ(q0 ,x), a))=f (δ(q0 ,xa))=[xa] 即如果 M 在状态 q 读入字符 a 时进入状态 p, 则 M 在 q 对应的状态 f (δ(q0 ,x))=[x] 读入字符 a 时,进入 p 对应的状态 f (δ(q0 ,xa) )=[xa]。 所以,f 是 M 和 M 之间的同构映射。 * DFA的极小化 对于任给的 RL L,接受 L 的最小 DFA 是唯一的。 按照 L 所决定的等价关系 RL 的等价类来设立状态和状态之间的转移函数是构造最小 DFA 的一种方法。 计算机求解困难 对于 RL L,如果有一个 DFA M,使得 L(M)=L,可以通过合并 RM 的等价类来求出 RL 的等价类。注意这些等价类对应的是状态。 做法:分别从 set(q) 和 set(p) 中各取一个利于考察的“适当”字符串 x, y,然后研究对于任意的 z,xz 和 yz 同时属于L 或者同时不属于 L。 具有较高的复杂性 * DFA的极小化 考虑哪些状态不可以合并。 (1) Q-F 中的任意状态和 F 中的任意状态是不能合并的。 设 q∈Q-F,p∈F,x∈set(q),y∈set(p), 则有 xε不属于 L,而 yε属于 L,x 和 y 不满足关系 RL, 所以 q 和 p 不能合并。 由此得到第一批不能合并的状态对。 (2) 考察其它不知能否合并的状态对 q 和 p 。
文档评论(0)