私は、ポンピング補題が確実に規則的な言語にどのように適用されるかを示そうとしています。1 が偶数の {0, 1} 以上の言語があります。この言語は、2 つの状態を持つ DFA で表すことができます。
ここでのポンピング長は 2 ですね。ポンピング補題は、「もし s が長さが少なくとも p の A 内の任意の文字列である場合」、3 PL 条件が真になるように xyz に分割できると述べています。たとえば、文字列 '000110' を選択し、それが |xy| となるように xyz に分割できることを示したいとします。<= p (および |y| > 0、および x(y^i)z は L 内)。
この場合、y は '11' でなければならないので、繰り返しても偶数になります... これは x = '000' になりますよね? これにより、|xy| が作成されます。= 5、これは p よりも大きい。
|xy| になるように指定された文字列を分割する他の方法は見当たりません。< p. ここで何が欠けていますか？どうもありがとう。