形式语言与自动机ch3.7-3.9a讲义.pptVIP

* * College of Computer Science Technology, BUPT 通过合并等价的状态进行 DFA 的优化 举例 划分结果： { 1, 2 }, {3}, {4}, {5}, { 6, 7 } 等价的状态偶对为： （1, 2）,（6, 7） 新的状态集合： [1], [3], [4], [5], [6] * * College of Computer Science Technology, BUPT 最小化的 DFA 课堂练习 最小化下列 DFA: 参考结果 * * College of Computer Science Technology, BUPT 针对正则语言的 Pumping 引理 正则语言应满足的一个必要条件 用于判定给定的语言不是正则集。 物理意义：当给定一个正则集和该集合上一个足够长的字符串时，在该字符串中能找到一个非空的子串，并使子串重复，从而组成新的字符串。该新串必在同一个正则集内。 定理： 设L是正则集，存在常数k，对字符串ω∈Ｌ 且｜ω｜≥ｋ，则ω可写成ω1ω0ω２，其中｜ω1ω0｜≤ｋ， ｜ω0｜＞０，对所有的ｉ≥0有ω1ω0iω2∈Ｌ。 证明 设 L 是 DFA D = (Q, T, ?, q0 , F ) 的语言， 取 k = |Q| 即