ポンピング補題の問題を解決するには、いくつかの助けが必要です。ポンピング補題（普通の言語）
y = uvw is the string from the pumping lemma.
は、私は、Yましょう= ABBC^nは、n個のポンプの補題からの長さ：
L = { {a,b,c}* | #a(L) < #b(L) < #c(L) }
これは私がこれまでに得たものです。 a：sの数がb：sの数より少なく、b：sの数がc：sの数より少ないため、yはL内にあります。
私は、u = a、v = bb、w = c^nとします。 | uv | < y、ポンピング補題に記載されている。もし私が "ポンプ"（bb）^ 2を得たら、
y = abbbbc^n which violates the rule #b(L) < #c(L).
これは正しいですか？私は「正しい道」にいますか？
おかげ
は、ポンピング補題の主なアイデアは、あなたが用語の無限の数との定期的な言語Lを持っているとき永遠に繰り返される言語でのパターンがあることを伝えることです。
その言語に関連付けられた正規表現には、KLEENE-STAR（パターン）が含まれます。
その正規表現（および言語）に関連付けられたオートマトンにはループが含まれます。
鳩の原理を使って証明します。
この
は非常に示唆的です。
この場合、すべての用語はq0で開始し、qnで終了する必要があることに注意してください。したがって、言語を定義するオートマトンは有限（最大N州）であるため、州数は限られていますが、言葉（つまり用語）は> N文字を持つことができます。鳩の原理は、2回に達する状態がなければならないことを示しているので、その状態ではループが存在します。あなたの表記で
、あなたはイメージでの対応を行うことができますので：
あなたuは画像
vからxある画像
wでyはからzです画像
q0からqnに到着するには、{ uw , uvw, uvvw, uvvvw, ... }の文字列を使用できます。
この特定のケースではパターンPがyであり、セットXは{xz xyz xyyz xyyyz ...}とSがlength(x)+length(y)あります。
ありがとうございます。しかし、私はポンプに良い文字列を選んだのですか？ – mrjasmin
説明されている言語が正規であることを証明するために、ポンピング補題を使用しようとしていますか？それとも定期的ではないのですか？いずれにしても、繰り返す部分文字列を選択することはできません。ポンピング補題は、長さ> = * n *の任意の文で* s *の一部分が存在するような* n * * uvw *にそのような| * uw * | <* n *、| * v * | > = 1、* u * * v *^* i * * w *はすべての* i *の文です。 （ 'c'はこの言語では常に繰り返し可能ですので、内部Cで文を分割しても文章が見つからない場合があります） –