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