決勝に向けて教科書からいくつかの問題を解いていましたが、よくわからない問題に出くわしました。基本的には
L = {w | w には 1 よりも多くの 0 が含まれています}
そして、通常の言語のポンピング補題が役立つはずだとヒントとして述べています。
ポンピングによってパターンを破ることができるため、最初に 0 の後に 1 が続く、または回文などのパターンがある場合、言語が非正規であることを証明するのは簡単ですが、ここでの唯一の要件は、0 と 1 を含むことができる単語が任意の順序で、より多くの 0 があります。
私はいくつかのケースを考えようとしていました.y = 0の場合、1よりも0が多くなるまでyをポンピングできます。しかし、ポンピング補題が偽であることを証明するには、考えられるすべてのケースを考慮する必要があり、y は |xy| である限り任意の文字列になり得るようです。< p (p はポンピング長)。y には、0 と 1、または 1 のみを含めることができます。ここで明らかな何かが欠けていますか？ありがとうございます。