第05章 正则语言的性质-28、29、30节课-2013-11-12.pptVIP

* * 5.4 关于正则语言的判定算法 定理 5-13 设L是字母表∑上的 RL ，对任意x∈∑*，存在判定x是不是L的句子的算法。 从一定的意义上讲，接受L的DFA M就是 判定x是否L的一个句子的“算法”。 * * 5.5 小结 本章讨论了RL的性质。包括： RL 的泵引理，RL 关于并、乘积、闭包、补、交、正则代换、同态、逆同态等运算的封闭性。Myhill-Nerode定理与FA的极小化。 ⑴ 泵引理。泵引理是用RL的必要条件来用来证明一个语言不是 RL 的。它不能用来证明一个语言是 RL，而且是采用反证法。 * * 5.5 小结 ⑵ RL 对有关运算的封闭性。RL 在并、乘、闭包、补、交、正则代换、同态映射运算下是有效封闭的。RL 的同态原像是 RL 。 ⑶ 设 L1、L2?∑*，如果L1是 RL ，则L1/L2也是 RL 。 * * 5.5 小结 ⑷ 如果L是RL，则根据RL确定的∑*的等价类可以构造出接受L的最小DFA。更方便的方法是通过确定给定DFA状态的可区分性构造出等价的最小DFA。 ⑸ 存在判定L(M)是非空、M1与 M2是否等价、L(M)是否无穷、x是不是RL L的句子的算法。 * * 5.3.1 Myhill-Nerode 定理 ⑵ RL 是右不变的。 设x RL y。由RL的定义，对?w，v∈∑*，xwv∈L ? ywv∈L，注