形式语言和自动机理论电子教案-05.ppt

第5章 RL的性质 RL性;5.1 RL的泵引理 泵引理(;5.1 RL的泵引理证明思想釜;5.1 RL的泵引理 证明：D;5.1 RL的泵引理 M=(;5.1 RL的泵引理 δ(q0;5.1 RL的泵引理 故，δ(;5.1 RL的泵引理 例 5-;5.1 RL的泵引理 从而有，;5.1 RL的泵引理 例 5-;5.1 RL的泵引理 当i=N;5.1 RL的泵引理例 5-3;5.1 RL的泵引理 uv0w;5.1 RL的泵引理用来证明一;5.1 RL的泵引理⑶ 由于泵;5.1 RL的泵引理⑸ 与选z;5.2 RL的封闭性 封闭性(;5.2 RL的封闭性 定理 5;5.2 RL的封闭性 定理 5;5.2 RL的封闭性 定理 5;5.2 RL的封闭性 正则代换;5.2 RL的封闭性 先将f的;5.2 RL的封闭性 再将f的;5.2 RL的封闭性 例 5-;5.2 RL的封闭性 f是正则;5.2 RL的封闭性 定理 5;5.2 RL的封闭性 当n=0;5.2 RL的封闭性⑴ r=r;5.2 RL的封闭性⑵ r=r;5.2 RL的封闭性⑶ r=r;5.2 RL的封闭性例5-5 ;5.2 RL的封闭性⑶ f(;5.2 RL的封闭性同态映射(;5.2 RL的封闭性对于?L?;5.2 RL的封闭性例5-6 ;5.2 RL的封闭性⑷ f -;5.2 RL的封闭性推论5-1;5.2 RL的封闭性定理 5-;5.2 RL的封闭性M′具有与;5.2 RL的封闭性(3) 等;5.2 RL的封闭性δ′(q0;5.2 RL的封闭性这表明，结;5.2 RL的封闭性商(quo;5.2 RL的封闭性注意以下有;5.2 RL的封闭性定理5-6;5.3 Myhill-Nero;5.3.1 Myhill-Ne;5.3.1 Myhill-Ne;5.3.1 Myhill-Ne;5.3.1 Myhill-Ne;5.3.1 Myhill-Ne;5.3.1 Myhill-Ne;5.3.1 Myhill-Ne;5.3.1 Myhill-Ne;5.3.1 Myhill-Ne;5.3.1 Myhill-Ne;5.3.1 Myhill-Ne;5.3.1 Myhill-Ne;5.3.1 Myhill-Ne;5.3.1 Myhill-Ne;5.3.1 Myhill-Ne;5.3.1 Myhill-Ne;5.3.1 Myhill-Ne;5.3.1 Myhill-Ne;5.3.1 Myhill-Ne;5.3.1 Myhill-Ne;5.3.1 Myhill-Ne;5.3.1 Myhill-Ne;5.3.1 Myhill-Ne;5.3.1 Myhill-Ne;5.3.1 Myhill-Ne;5.3.1 Myhill-Ne;5.3.1 Myhill-Ne;5.3.1 Myhill-Ne;5.3.1 Myhill-Ne;5.3.1 Myhill-Ne;5.3.1 Myhill-Ne;5.3.1 Myhill-Ne;5.3.1 Myhill-Ne;5.3.2 DFA的极小化 可;5.3.2 DFA的极小化算法;5.3.2 DFA的极小化主要;5.3.2 DFA的极小化⑹ ;5.3.2 DFA的极小化定理;5.3.2 DFA的极小化当|;5.3.2 DFA的极小化当|;5.3.2 DFA的极小化由归;5.3.2 DFA的极小化充分;5.3.2 DFA的极小化设n;5.3.2 DFA的极小化如果;5.3.2 DFA的极小化定理;5.3.2 DFA的极小化δ′;5.3.2 DFA的极小化L(;5.3.2 DFA的极小化再由;5.3.2 DFA的极小化证明;5.3.2 DFA的极小化例5;5.3.2 DFA的极小化投茁;5.3.2 DFA的极小化例5;5.3.2 DFA的极小化q1;5.4 关于正则语言的判定算法;5.4 关于正则语言的判定算法;5.4 关于正则语言的判定算法;5.4 关于正则语言的判定算法;5.5 小结 本章讨;5.5 小结⑵ RL 对有关运;5.5 小结⑷ 如果L是RL，