我在测试中弄错了这个问题，并想知道是否有人可以解释它，显示采取的步骤来得出结论。任何帮助，将不胜感激。你如何证明这个抽象引理的例子？
在L_neq = {0^i1^j |在给定m状态DFA的情况下，有人选择字符串0 ^（m/2）1 ^（m/2 + 1）。然后，他们选择y = 0，并通过抽水显示，我们可以到达L_neq之外的串0 ^（m/2 + 1）1 ^（m/2 + 1）。这个证明是否正确？为什么或者为什么不？
此外，如果证明有误，请写下正确的证明。
感谢
当使用泵引理，同时允许您选择串泵（姑且称之为W），你是不允许选择如何分割W¯¯分为三个部分XYZ。相反，你需要做的是表明，任何方式使得w可以分成XYZ，还有就是我的一些选择，使得XY 我ž使得XY 我ž∉大号 NEQ。所以虽然你是正确的，如果y = 0，那么字符串可以从L neq中取出，但是不能保证y = 0。相反，你需要证明对于y的任何选择，例如| xy | ≤ m和| y | > 0，你可以从字符串中取出字符串。
作为提示，尝试字符串0 m m。现在，对于y的任何选择，因为| xy | ≤ m，你知道y必须具有0 j的形式，对于某个自然数j> 0。然后，你的论点可以用来表明z不再处于L neq中。
有关泵引理其他资源以及这些证据是如何工作的，随时检查出these lecture slides我在计算过程中的理论使用较早的这个季度。他们通过几个抽象引理的例子，并且（重要的是）展示敌对模型，以考虑这些证明。
希望这会有所帮助！