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

tex2html_wrap_inline215

Let L be regular, and it is accepted by an n-state FA.

Choose tex2html_wrap_inline320 . Does it work?

Alternatively, choose tex2html_wrap_inline322 from L.
( tex2html_wrap_inline326 )

By pumping lemma, tex2html_wrap_inline244 such that tex2html_wrap_inline248 , and tex2html_wrap_inline224 .

Case 1: tex2html_wrap_inline334 , for tex2html_wrap_inline286 .
Then, choose tex2html_wrap_inline422
tex2html_wrap_inline424 .

Case 2: tex2html_wrap_inline342 tex2html_wrap_inline344 .
Then z has been broken up as tex2html_wrap_inline348
Choose i=3
tex2html_wrap_inline352
( what about i=0,1 or 2?)

Hence, tex2html_wrap_inline354 .
e.g. k=1, tex2html_wrap_inline358 .
(For i=0, k=1, tex2html_wrap_inline362 .
(For i=2, k=1, tex2html_wrap_inline366 .

Case 3: tex2html_wrap_inline368 , tex2html_wrap_inline344 . Choose i=3.
Case 4: tex2html_wrap_inline374 , tex2html_wrap_inline344 . Choose i=2.

Thus, for all possibilities of v and u, tex2html_wrap_inline354 .
Therefore, l is not regular.



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