ポンピング補題の定義 (ウィキより)
L を正規言語とする。次に、L のみに依存する整数 p ≥ 1 が存在し、長さが少なくとも p (p は「ポンピング長」[4] と呼ばれる) の L 内のすべての文字列 w は、w = xyz として記述できます (つまり、w は3 つの部分文字列に分割)、次の条件を満たします。
|y| ≧1; |xy| すべての i ≥ 0 に対して ≤ p、xyiz ∈ L
正規表現011をテストしたいとします正規表現mなので、w=xyzを満たす少なくとも長さpの文字列wがあります
このオートマトンの数は 3 で、p は >= 3 である必要があります しかし、このオートマトンを受け入れる文字列は 011 だけです。|y|を満たすことができません ≧1; |xy| すべての i ≥ 0 に対して ≤ p、xyiz ∈ L
011しか受け付けないのでどうやって搾乳すればいいの？どこが間違っていますか