Cs201 Theoy ot loropuBalion

Aseignment

Sandip an Samanta
211155

b 15

DFA 6 . , 8,A
9, 1
a,b

A 4 .
1
a
2 ,
D w |w Cotain3
cqual umbe
an toccurrences ot

he ub stings O and 10
Ih

Ahew D oo. oU }o. U.0.e

and DEFA fos D is

he

AC cepfn caes

.
Ca ne N C
Assume reqular hen by pumpin lmma
peN s.t weC l P

P
and e C VkeN

Consider a

and P
=a 1sisp
Pti
 Nouw

P P'P' 3p 3p1P 1)
P tk o ome

C
a conradicAion
Cis not a veqular lanquage as emmo 3
pp
nol apphcable

NFA

DFA

R (aa) + b

R a (aa + (ab) a (arb) arb) art)arb) aa

+
K
5

P
- ic collection ot all palindoome

Consider
s ab'a lieN aba ond SC P

cleasly S is infinike

Le Us, E S

hen ,= Qaba
i+j ije N
a a
ld z = b'a

hen w,
ababa e P Se P
a b a ¢ 4 P
bu w,z
=
a

-z 1s a dis tinquishinq Sufifor w,& W

i.e , and w, distinquishable
true wO sting in
is an
S is an inti nideooling sset
et

P isnot
not Teqular by he Myhil Nevede theorem
theor em