Professional Documents
Culture Documents
be FA
Theore m Let M -
K,2, 8,s, AY ar
let for
OT eveg
evevq In9 'x i n l theve Ixi2n.
kem(SA:
that
a conStant n . guch
XCan
be byoken into 3
Now, f the Stying
UVamd w Such that
Sub Stimg
e, Iv 21
be an FA
Proof Let m (K, 2, S, s, P).
Let Lb the anguage acceptek b4 FA &s
equlay
Cwbere m2 n
Let x a,a m-m
Heye n yepresen
and s tach a; 1s n
no of States of Fe:
we should have
m+ Sates Sequence.
the StaYt State E
Wheve
as Shean in belotw
be fimal staie
il
figure
oop
wheve i
machi me from i to j . (9 ) an
takes
V
om to
saffix string
wtakes machine ; Lm
that Can be acceptecd bq
minimum string
The
withi=0 t cohen i=1 the
above
FA iS w
FA even
b obOve
st nguvw
S accepte
accepted bq FA
when
2 , the sti is
tne machine gpesfrom to .
So if>o
basee
u cincles rom q; to qi
On iPuF string ta atcePt ng
then goes
Of and
On value
ad. m general, f StrinqX
stning
State On thon for all i20
substvings uv
isspltinto
uv'w EL
ceytaln
that
to prOve
is used
Pum pin9 lemma annot be uSel
But i t
hot eqular
aYe
language íS reQular.
thet amguaqe
to PYOve
)ASSume that lamquage S regular amd n be
Stades of FA CAngth x )
o of
x Such that
X2n and
bk
the strimg
) Select and w So that
SubStvings u V
itimto
constraints;
iv# ¬
wrth
)uvl En
not in L
hat uv IS
i Such
Cii)Find any is in l
lemma uv' w
o pumping
Accordirg to the ass=
(ontyadiCtion
vesult is
i20 S0 the
egul
is
Hion that languuage
is not vegulaY
.iven hrguage L
eg :ab w
w1eveNge d w
Pobem
LsowR|we
(o+* J is not egular
Show that
states in
is egalay and 'n be no. of
L
SG
Let
w
o
Considera styng *=
Step
the sty ing x im to u vaw
Since X2n split
Such that luviSn 4 w2 s shoon belo
X Od 0 - .0 1
luvl h+1:n
Acording
to
pup mg lemma uv'w E L or i20
VdoesS the
sep3:i :0
n o of 1'S On tho ft
nol appeaY
of x
and so
3T L a " n 20 is ot requlav
FA
letLbe reguaY& be no. of stakes in
Stepl
Conside a stYhg
X d:.
v
l u v l = n 4 + 1 * n
SO that
Ivel
ul=n-
where uvw fL or izo
emma,
to pumping.
AccOYdimg
ot aPpear
o no. of a's
V does
=o 6S On
Sep3 no. D
thOn
bC ess a"b
X w 6 f form
-
On lef Of is, not
Stmg
So
O f
Cwhen = 0.
thay
sumpfon
ComtiadiCtton TC as
This i s
requl a r
anquage s