发现泵浦引理条件的错误

Question

在我的考试中，我应该写出所有抽水引理条件。正是我所做的：

一位朋友告诉我，有一些错误，但我找不到他们...... 有人可以帮忙吗？什么是错误＆amp;为什么？

Answer 1

你几乎是对的，但是抽取引理需要| xy | ≤p，不是| xz | ≤p。我们的想法是将字符串拆分为一些初始化（x），稳态（y）和尾部（z），并且初始化加稳态逻辑有一定的长度。

Answer 2

如果我没记错的话，条件必须如下：

• | X 的 ý | ≤ p
• | ý | ≥ 1
• xy ⁱ z ∈ L ， i ≥ 0

所以 y 不能为空， y 可以重复零次或多次。