了解抽水問題

Question

我對抽水問題比較陌生，在這里我有一個問題，我想我回答正確了，誰能告訴我這是否有效，為什么不行？

問題：{www | w是{a，b} *}

我的方法：

L = www

u *（v ^ k）* w必須是L的子集

萬維網

| | |

紫外線

紫外線= www

（u） （v ^ 2） （w）=中國的膳宿條件

wwww不是語言www的一部分，因此不是常規的

編輯：好吧，根據我對泵送引理的理解，我取了我們正在查看的“測試字符串”，並將其分成一個保持相同的部分，然后是一個可重復的部分，最后是另一個保持相同的部分。 在我的“方法”中，我將測試字符串“ www”分成了u，v和w，每個分別持有一個“ w”，其中v是可重復的部分，另外兩個是保持不變的部分。 我將v部分加倍，最后得到一個轉換為uvw的uvvw，它看起來好像不是www語言的一部分。 我有種很好的感覺，我錯了，因為條件“ w是{a，b} *”，我認為其中包括空字符串，並且由於該空字符串在wwww和www中都是可行的，所以我的抽引引理是錯誤的。 我只想知道我要采取什么方法來解決這個問題，這只是一個實踐問題

Answer 1

我不認為您的回答有效，因為無法確保wwww並非使用該語言。

例如，讓| w | 是3的倍數（即3 * k等於k）所以您的原始字符串的長度是：| 3k | + | 3k | + | 3k | = 9 * 3k

因此，如果您添加另一個字符串長度3k。 現在的長度是12k，也就是3的倍數。

嘗試執行以下操作：令w = 100 ... 001，其中p個零被1包圍。 然后，無論您如何泵浦10..0110..0110..01 uvw，您都將無法使用該語言。