20. Theory f Computatione
S9nmen
Name Y.Maunika
tu I5004.
eate a
poA that yeoginres the fotlo ins tam
iven
ab i,j>o,k:i+j}
a
a '
e '
Sasex
oxC
a S C
bx
->axc
>bc
a c
another psibilt
S>asC
S a x C
>ab CC
abcc
1+=2
checking
21. ystt aTwning mathine ioY arguo
(piven
.w weGoí
So e we w
ue only oo chaxacte rs OS ard J the
In these e
i s a String. l: 1O110, Sothe tuining mac hfne oill a ccept
the String z= 101ojol1o.
The irst -thig is toind the mid point of the shi'ng. we
toil Covert oto and 1 to y. AH trr ortinuosls doing
CominuOs ly
doir
it a point is ntached
w h e au os and s hasbecn
Converted into 1 andy respectyel No0, we ane in the mid
potnt o the sbingq So. owr-Put oojectiye u Cornpleed Now
Convert al'sand ys on the le t of te Stirg u inthe
-hom o and he Sewnd half of the shing is in thefom of
1andy Noo ogain
Aiant t0m the
begining cthrstant
you haye a Othen
C o n v e t
intb X.ang move 7ight
tit earhing the Seond half,
here , it e drd not firod
then
Ctiing
will not be aictptd
we drd not fird
an andy
'nthe
Setond
(O,0R)
(O,x R
(1,4, P)
Lx
C, )
C
Cy,)
C 11
(1,)
(o,0,R
t e , e
6,8,R
Co,Dt)
(y,6,) (1,1,1
Bt)
22. 3lbe decision pooblern aepseverting is Soluable tr-e).aiver
a turni
tuni
machine TM T with a n ipput alphabet e and isi (T)
Thas chly ope states Jf Sis nut a fa) Stale, thentT)=).
hich is cleaoly not eaua
to
Eso we Soy no Now SupPdt
that & is a-fna stde ThenTacceptu E dos fE also acepsS
anythirq ele ? TD auep any Single
chaatter Cdn E, there
to end up
in S uotth on
unpty
Stack i f , okn
must to able
ab enpty A tack, we Sec c . it there s mot Such atraiEon
m0, Sine we lensy Cannot
Ha cveuy
ElernentE Er then ut Sa
eNen
all the
epe
c h a a c e r sting
in & Nou, tuppot
tiamitons do euist Thn we Caun
these acquied
Swith a n emp
Stauc no matler whot Chaacter
in
hat au mati er ohot Chasacter
and no maIer uhat chaia der we see ner
we ee
So, ff Tarcepts
and no matlen
what i's DH the Stack
all stings in E* of length ont, then it accep a string
in 8. Note that i T Aedrministc then if iu doe
have au the vequived
trasition it wiu have no others
Since a posible CortioruTation ane actounttd oT,
-foT
Eis Computable 4there S SomeTuining machime N)
w halfs. with 4Cuw) on -the lape
tbat n evey pur
moppi many- one
itduction -from Ato 3isa lormputabie
tunctiom f; ¬"-E Such that
it ond only ?E fCw)E
Yeduc ble to 3
we Sa
S mappingm any -one eduable to3
sa
and we donate t
by A m3
