0
のポンピング補題を満たすのか？L = {a^n b c^n |私は1より大きく100より小さい、nは1より大きい}なぜ、以下の言語がcfl
私はcflのポンプ補題を誤解したと思います。 なぜ私は単語z = a^ncb^nを選び、u = a^sv = a^ns w = epsilon x = b、y = b^nに分解し、i = 0でポンプしてから0 bの言語が満たされていないため、矛盾？ 私はおそらく何かここで不足しています。
どのようなポンピング補題の定式化を使用していますか？計算理論入門のSipserの声明では、_L_のすべての文字列は、少なくともポンプの長さを* 5 *個の_s = uvxyz_に分割する必要があります。あなたは4つの部分に分かれているようです。 （注意：あなたの_z_はSipserの_s_で、彼の_z_が不足しています） –
言語の定義には何がありますか？因数分解では、cは現れません。おそらくx = cを意味するでしょう。 –