3
単純な有限正規言語のポンピング補題
ウィキペディアには、通常の言語のポンピング補題の次の定義があります... してみましょうLLL正規言語であること。次に、整数が存在するpppのみに依存≥1 LLLすべての文字列ようなwwwでLLL少なくとも長さのppp（pppとして「ポンピング長」と呼ばれる）を書き込むことができるwww = x yzxyzxyz（すなわち、www分割することができます3つの部分文字列に分割）、次の条件を満たす： | yyy | ≥1 | x yxyxy | ≤ ppp すべてのための私ii ≥0、x y私zxyizxy^iz ∈ LLL 単純な有限の通常の言語では、これがどのように満たされるかわかりません。{ }のアルファベットと正規表現a bがある場合、Lはaの後にb が続く1つの単語のみで構成されます。私は今、私の通常の言語がポンピング補題を満たしているかどうかを見たいです...a 、ba,ba,ba bababLLLaaabbb 私の正規表現では何も繰り返されないため、の値は空でなければならず、すべてのiに対して条件3が満たされます。しかし、もしそうなら、それはyの長さが少なくとも1でなければならないという条件1に失敗します！yyy私iiyyy 代わりに私が聞かせている場合どちらでも、BまたはB、それは条件1を満たしますが、それは実際に自分自身を繰り返したことがないので、条件3を失敗します。yyyaaabbba babab 私は明らかに気が遠くなるほど明らかな何かを見逃しています。どっち？