next up previous
Next: Up: Applying Pumping Lemma Previous:

tex2html_wrap_inline276

  1. Assume that tex2html_wrap_inline474 is accepted by an FA with n states, for some n.
  2. Choose tex2html_wrap_inline478 .
  3. Break up z into uvw
    tex2html_wrap_inline484
    tex2html_wrap_inline486
    tex2html_wrap_inline488
  4. Choose i
    tex2html_wrap_inline492 ,
    tex2html_wrap_inline338 , tex2html_wrap_inline496 , tex2html_wrap_inline498 , tex2html_wrap_inline500 , (drop)
    tex2html_wrap_inline422 , tex2html_wrap_inline504 , (pump v twice).

Sushil Prasad
Tue Mar 21 14:10:23 EST 2000