在抽吸引理條件中發現錯誤

Question

在我的考試中，我應該寫出所有抽吸引理條件。這正是我所做的：

一個朋友告訴我，有一些錯誤，但我無法找到他們... 能有人幫助嗎？有什麼錯誤&爲什麼？

Answer 1

如果我沒有記錯，在條件需要如下：

• | xy | ≤p
• | 和 | ≥
• XY ^我Ž∈大號，我≥

所以ý不能爲空和ÿ可以重複零個或多個倍。

Answer 2

你幾乎是正確的，但抽水引理要求| xy | ≤ p，而不是| xz | ≤ p。這個想法是，字符串被分成初始化（x），穩定狀態（y）和尾部（z），並且初始化加穩態邏輯具有一定的長度。