我在測試中弄錯了這個問題，並想知道是否有人可以解釋它，顯示採取的步驟來得出結論。任何幫助，將不勝感激。你如何證明這個抽象引理的例子？
在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我在計算過程中的理論使用較早的這個季度。他們通過幾個抽象引理的例子，並且（重要的是）展示敵對模型，以考慮這些證明。
希望這會有所幫助！