正规语言的泵引理

原文地址：正规语言的泵引理 作者：二十四点零一分

若 L 是正规语言，则存在一常数 n > 0 使得语言 L 中每个字串 w 的 |w| ≥ n，而当 w = xyz 时：

1. |xy| ≤ n ，
2. |y| ≥ 1 ，且
3. 对所有的 k ≥ 0 ，字串 xy^kz 属于 L 。

应用：透过 泵引理以 反证法证明 L 不是 正规语言

• 
  • 令 n 为泵引理常数， 且 |w| ≥ n，而 w = xyz，|xy| ≤ n 且 |y| ≥ 1，则 y 只包含 0。于是 xy⁰z = xz 中 0 的个数不大于 n - |y| ≤ n - 1，但 1 的个数等于 n，使得 xz 不属于 L。因此 L 不是正规语言。
• L = {0ⁱ1^j | gcd(i,j) = 1}
  • 令 n 为泵引理常数，并令 p 为一质数而 p > n ，且令 ，则 gcd(p,k) = 1。令 w = 0^p1^k，|w| ≥ n，则 w = xyz 时，|xy| ≤ n < p 且 |y| ≥ 1，则 y 只包含 0。而 xy²z = 0^{p + | y |} 1^k，1 ≤ |y| ≤ n，则 gcd(p + | y | ,k) ≥ p + |y| > 1，因此 L 不是正规语言。
• 
• 
• 
•