Bを言語とします{ 0n1 n | n> = 0}つまり、0と1は同じ長さである必要があります
Bのsを文字列0p1pとします。
Bが規則的であると仮定すると、sはs = xyzに割り切れる必要があります。ここで、xy i z i> = 0はまだBにあります（ポンピング補題の3つの条件の条件1）。
xyizの場合を考えてみましょう。ここでi =2 so xyyz：すべて0のポンプy
xyyzには0と1が多いため、Bに含めることはできません。したがって、Bは規則的ではありません。
yがxyyzですべて0の場合、＃of 0s>＃of1sであることを理解するのに苦労しています。
なぜ|xyy|できないのか = | z | それでは、0と1の数は同じになりますか？
「すべて0のポンプ」はそれほど明確ではありませんが、これがどのように機能するかの例は次のとおりです。
Pick some value for y: let's say y = '0'.
Pick some value for i: i = 1
Then s = xyz. We will assume this holds true for the moment.
ここで、Bは規則的であると想定しているので、iの任意の値に対して、xyizによって形成される文字列もBに含まれている必要があることがわかります。あなたが提案するように、xyyzを試してみましょう。
...ええとああ。問題がわかりますか？yを一定に保つ必要がありますが、そうすることは、sよりも0が1つ多い文字列を作成したことを意味しますが、それに合わせて1を追加する必要はありません。yを0にすることはできないことを示しました。
ここで考えてみましょう。これが当てはまらないyの値はありますか？yに0を追加すると、問題が悪化するだけです。
これは証明の非常に非公式なウォークスルーですが、うまくいけば、それが機能する理由を理解するのに役立ちます。