泵引理与正则语言封闭性.pptVIP

泵引理与正则语言的封闭性 付国宏 黑龙江大学计算机科学技术学院ghfu@hlju.edu.cn 提 纲 主要内容 泵引理及其应用 RL性质 并、乘积、闭包、补、交 正则代换、同态、逆同态的封闭性 重点： 泵引理及其应用、 RL性质 难点： 正则代换、同态、逆同态的封闭性证明 DFA的泵特性 DFA是一个无穷语言的有穷描述模型 设 DFA D = (Q, ?, ?, q0 , F ), |Q|=n 对于任一长度不小于 n 的字符串 w = a1a2…am , 即m?n, ak?? (1? k ?m), q?Q , 考察如下状态序列 DFA的泵特性 (cont.) 形式化 设 DFA M=(Q, ?, ?, q0 , F ), |Q|=n, 设句子w = a1a2…am, 且m?n, 则 存在 i, j, 0?i?j?n, pi=pj, 设pk=?(p0, a1a2…ak), 0?k?m; 若假定p0 = q0 , pm=?(p0, a1a2…am)?F, 则w?L(M); 令 w = xyz, 其中： x = a1a2…ai , y = ai+1ai+2…aj , z = aj+1aj+2…am 则对任何k ? 0，都有 xykz ?L(M) RL的泵引理 引理5-1 泵引理(pumping lemma) 设L为一个 RL ，则存在仅依赖于L的