Purrping 4¢! fox €Et
é 7
-- het hk be @
Pesctive integer
for every wel,
uxyx for
weil
CEL. Then Wl COMP 4
number n Sech thay
reith [wl et cc be
Wwaiten at dort Si mng
LOY, yO, x
Ww [vxul srr
Gi Ivul er,
diy urvixy'z cr, ve
Ord,
gumallonecrus|
Both v andy caninel )
— be eell+
Leb weampme™ eb ate
heb W mvc, wales (Ie on
thin _uyiny’s Eb , 4 b2d,ly2/~
New consider i
tase ds vay ut dvcated uw
ea ae
aaa A fppahbeee, cee
4 toa — ee eeeFeFeFfFfefs
Zz
het vee" end y=a
_ ere Ivy] 3%) and _|v2
Poo, we've
i, UVP my?z
ark je +m oe
-—— couse: M2eY is tecated ti EEE eee eee
eh
@ scanned with OKEN Scannery ne
e
Ate ve aki end Yra
pee IYYI or m
cor te, we've a
a vn yh mB f
cour ds
vay uw Wwlattd wm
ceuch, vay ov U 4b
u o oF
ty v cout be aks cend 4 can be "9
antk, Bmtks om ab
Gy Vi can be in ash and ¥ can be A
ve a’ » Yyeb®s
(Vv can be wn a and ¥ tan be
veati, yratiss
couels
~vacy located on be
DO Vig im b andy gine
ti) Vim bse and yu me
Vi) Vip tn bo and Yu th bac
nef [we Seuby yw met cre
pre:
hee bh be infince and uw ceb
choost an uicger mm cund let twl am,
whe WEL:
hee wy comsuder wea% gm nbn
and lit W can be waren Hf AVxue
Such that lvaylem, Ivul>
cae 4: vay ud lucated
bo ad bbb. bbaae
Kar =
satufying INaeulem
and \wyl 21.
For ico, uvixyte @b., wba erler
Uvezy’x = Lae : im
Rmeeets fF yma Bl = z See
@ scanned with OKEN Scannerceue2: voy ws located 1m b™
Clues: Vary Ue located tin ar ¢
ect} 4 w)
: Veey ut lected wh 6 ¢
| EEE pe ae ae EHEEEEELEE
a _ eeue Si Vy vt lotated om arm
te ti ie i ke et oy ie pte
E Ui Vit ta a&b end vy Bb um b
I) tt et and yy iM ab
coueb: very uf wn AaMb™ [second hat) qu
Secong
Second bay
Th cee can be prmved ag Case o.—
Bena Ho wee Conet Can be tomsicey.,
3. bofaP|p ua poinneY ut nok CEL
Rewos! -
het hk be tnfince CEL language.
het “n’ bi he natural number ob. Cling
by Using pumping Lemme -
bel Pp be oc pume nunrber >A a
pep
Then WalzoP eb 7
Thu we can wb w aovoy
By Putnapuag lemma =
e 7
For (=o,
Uvicy’z = UxXZ EL
Go lux) of O pmme number-
het |ur2z! ft
Aek |vyl=>y rarer
por _teq __———
Thin _luv*eytz| 2 luxe ell
= luz) talvyl ——
= Wy +44
2aCity) i nek apa
UVM Vz ay
uw wel jaune
“A coneracteon . Hence runner
@ scanned with OKEN Scannerv = ™”
2 4
pefar (nziy ts nob cey
pavot:
het ko be wtih ef
A
4
pel “WW be A natewal neernt
pet Weal? etd twin?
wow WK Wellvryz of Ivx4] gn &
pee IV¥p=m, msn
py lemma, fer 22, welvé
Uvrotyrz EL
juvreg?z) = lol dotvy) pixie
Fle tivy) six tiz
EEE = [uvey) =n?
UL, luvrcy?2z] zat —9O
qoun we've
_{uvia2cy?z)
luvay| +ivy]
Cmsée
®
a Luyenyeal < O41)?
exam @_and @ we get -
luvrnyr2z) 4loti)” &b
because there 4 ne Square
pydds et between on? and (net)” ane
nena a contradiction
Kk @ i nok crt
- Peroblern :
PT he haat nzly ~ not
APT hs fa mely uw not crt
CFL.
@ scanned with OKEN Scanner