我试图展示抽水引理如何适用于肯定是常规的语言。我有超过 {0, 1} 的语言，它有偶数个 1。这种语言可以由具有两种状态的 DFA 表示。
所以这里的泵送长度是2，对吗？抽水引理指出“如果 s 是A 中长度至少为 p 的任何字符串”，那么它可以被划分为 xyz，使得 3 个 PL 条件为真。假设我们选择了一个字符串 '000110' 并想证明它可以以某种方式拆分成 xyz 使得 |xy| <= p（并且 |y| > 0，并且 x(y^i)z 在 L 中）。
在这种情况下，y 必须是“11”，这样它才能被重复并且仍然是偶数......这将使 x = '000'，对吗？这将使 |xy| = 5，大于 p。
我没有看到任何其他分割给定字符串的方法，以便 |xy| < 页。我在这里想念什么？非常感谢。