Professional Documents
Culture Documents
N se numegte functic
calculabilé in sensul Jui Turing sau Turing-caloulabila daca
exist ¢ magind Turing MT asifel incat dacti MT se alla in starea
5p iar pe banda se aflé X,0350...0%, (celelalte celule find vide)
iar CCS este pozitionat pe cel mai din stanga simbo} 1 al sirwlui
de pe banda, atunci:
W)Dacd f(a,%9..0%,)=+, MT lucreazi un
nuumér finit de pasi dupa eare se opreste, iar pe
banda avem inseris sirul £06). 3.. 544)
2) Dad f (4%
opreste niciodata.
Notarn aceasta multime cu
Observatia 2.2.2
Presupunem ed in calculy] unei MT nu sc folosese celule
situate la stinga primei celule a continutulai initial al benzii.
Aceastd conventie se numeste ealeul eorect.
44
x,)=7 atunei MT na seExemplu 2.2.2
a eee
Hol) = (5,12)
$650,9) = (sy 8£}
56) =(s,.L.2)
5(5).0)=(5,,0,2)
S(e21) = (55,02)
Sisal) =(5,.0.2)
SM =(s41,2)
5654,0)=(55,0,L)
Aceastd masind Turing, dupa cum se povte verifiea pe un
exemplu simplu, calculeaza fumetia f,
Observatia 2.2.3
Fie MT=(B,S.6,
acestei MT, descrist de fumotia de trecere se poate reprezenta
print-o mulfime finiti O., ¢S xBxS xBx {LRT} care dacd
As.f)=(5,7,:D) unde s,s, eS, Li SB si Def{Z,R7}
atunci vom spune eS, 4,5),/,,D) Our. Daca
(565 8.D)=(s 79/44) .D") atanei 5 | si D=D'
cel MT finctioneaxa detexminist, Deoarece 3 si Oy, se
ceterinin’ reciproc in mod unc, puiem si identificdm masina
Turing MT si sub forms MT=(B,5,Qyq.59). Multimea Qu 0
vom mumi-o programul masi
instructiuni,
In continuare vom face citeva notalii utile. Dacd avem
>| © masing Turing. Functionarea
Turing, iar ecfementele ej
con figuratia instantanee (5, p,n) accasta o vom inlocni-o cu qsr
45unde dack p Hfyeniyinay atunci qs tigi, iar
m ul
i,k, i,,. pundnd astfel in evidenti pozitia CCS acesia
Pa Eka
aflindu-se pozitionat pe primul simbol din r.
© configuratic instantanee gsr spunem cA esic
configuratia instantanee terminal’ daci ¢ vig) tar
PRidyeoig atunei (5,7,} nu apartine domeniului lui f, deci
nu existd nici un S-uplu din Ory care $4 contina pe primele dowat
pozitti pe s si i Starea s este in acest caz stare terminala
Presupunem in cele ce umeazd cA toate maginile Turing au o
singurd stare terminala.
in cxemplul 2.2.1 sy este o stare terminala iar 5.001111
este o configuratie instantance tenminala. Aici g este vida,
Daci pentru magina Turing MT on progranmul Quy f oste
functia calculatd atunci dacd pentm x, f(x) =, in termenii de
mai sus putem serie cf (5,01)! (7 {shl) unde s este otarea
terminalé sau altfel seris 5, F sft
Fe M7\=(BSOsnsn) si MT, =(BS22.0,
ws)
doud masini Turing pentru cere multimile starilor sunt
51 = fsn1.5}. Isqpestesy as} starca terminal
find acceagi.
pen
sy2s} Sy
Definitia 2.2.4
Magina obtinuta prin compunerea masinilor Turing MT, si
MT; este MT =MT, x MT; BLS Quy al unde §
cu S,=45, vemt} $89 Quy este format din 5-uplele
urmatoare:
1) Scuplele din Qyy, in care starea terminala s este
inlocuita ov starea +,
462) S-uplele din Qyiy, in care sp, este inlocuicd cu
So dar sp ptin: Sug AE
terminala s rimanand neschimbata,
starea
Teorema 2.2.1
Fie PysP2-P3.9).42.93 €B" (giruri formate cu 0 gi 1). BY
este monoidul liber generat de B, operatia intend find
concatenarea.
Atunei, dacd p,551) 5 PSG, 81 Paco f Pysqy rezulta
C8 psy gy pasa unde MT = MT,*MT,.
Demonstratie.
in masina Turing MT ayer calculul p,%4.g, kK PiSpetdlys
apoi din prs a7, pssqs conform cu definitia de mai sus cazul
ii) avem 68 pas, Pysdy de unde p,s,4 5 ps
In cele ce urmeezd vom da cateva exemple de masini
Turing care calculeazd anumite functii partial recursive.
Exemplul 2.2.3
Masina Turing care “transperta” 0 este T =(BS,Q,.5,}
unde
5 = [Se.8S2.85-8.6 8}.
Oe = {h5010-5,.0L),(5).0,52d ls Ls shL),
(5250.54.08), (9.1.54.0.2), (54.055 RIS sehty LR (5,0,
J}.
Ayem ci s,00)"0F 90100 unde I" <11.] aed,
$0010 0s,0r0F Eat T's,0F 615,004 s,01°00K. s01'00
aTExemplil 2.2.4
Masina Turing care deplaseazA la dreapta continutul
benzii:
dD at
B,{50,21.9}Op, 50} unde
og =(Ceo0.r 0 Rhlsplsy LR) (%0.s.0.1)}. — Atunei
avem urmatorul calcul: 01" 5,94 s01"0 edci
O1" 5g0F OL" S 1OF Os 1"GF 5,010 501".
Exemplu 2.2.5
Magina Turing care deplascazi la stinga confinutul beni
D, =(BAsuss}0p, 59) unde
Op, = {se n0.L lope bE} (50.5.0.F)}
Avent 5,01’0F 0130 céci
sa!"0F Os;1"0# OF" 5,001" 50
Exemplul 2.2.6
Masina Turing care permuta dou’ cuvinte ce pe banda este
P =(B,{s,,8,,.--
of pO psy). Accastd masini executé caiculul
OT sg01"GF01"501°0. in continuate vom descrie Qy:
Fic #0. Vom avea in Qp pentru inceput S-uplele din Qy,
in care vom inlocui pe s cu sy. Obfinem in acest Fel caleulul:
Ol s,01"0F O1'01"s,0.
Addugim la el S-upiele:
(s).0.55.0-R). (93h 4.0, {e404 OR (eshte l RL (seO,ve/ )
in acest mod oblinem c&
OV'DL"s,0F OI"s,01 00F 01" 5,100.
48Pentru a obtine acelasi lucru si pentru m= ad@ugim la Q,
Sauphul {s,,0,s5,0,/)
Apoi adiugim 5-uplele
(sols R ior dasy0l tL)
(So sbssy be £5900, 5) que 245) pete eb RLS) Lo819.0. 719.0530, 8}
(SiacLsialeR (6 9,0,5 414) astfel ed avem:
OT" sg1"0OF O17 571100 OF "01"s, 00F
E001" 5,010 01" 5,01 010 F 0145,,010
unde 1>0, m>0.
Daca m=0 adingdim S-uplele
(en sieb eecesiebs lochs!)
Folosind S-uplele (5,,h56.l./ ).(s14.08¢.00/ ) obtinem
Ors 1" O10.
Dacd 1 atunciaceasti. configuratie devine
Ol""25, 10110.
Dac r>2 repetim gi obtinem @1’*s,1"01110 gi dupa »
repetiri obtinem configuratia Os,1”01"0. Mai departe, folosind
Sauphtl (sets71,R) (pentru m>0) sau (s6.0.5)51.7) (pentrn
m=0), obtinem configuratiile 5,01”01” saus,,011"0.
Acum, (5.0.5 .0.2L) (sibs hE }(o0.s,01) i
syq05 4.0L), (Sy yh8,0.0) genereazd 01" .601"0 dupa cum m0
sau m=0.
Exemplul 2.2.7
Pentru dublarea sicului inscris pe band yom folosi o
main Turing M =(B,5.Q,.59}. Accasta realizeaza caloulul:
5,010"? © so1"01"00.
49S& specificdm cine este S si Q,,. Pentru fnceput avem
nevoie de S-uplele (5).0,5,0.£). (1,12) pentne
sO oO EOS OP. Acum — (5),0,8,,0,2). (5351.83,9,2),
(510,54.0.2), s0sph/), Ggldsh£}, — (S50509,2)-
(Solso hE), — (sy0.s LL). (sples dR), (%4.0,5,.0.2).
(sul,s1R) ne permite ca transformarea configuratiei
ors oroor oro! daci nk 0. = Dacd gi
(5,:0,5,.0.1) €O, ate L015, 9.77007. Repet de
neori astfel inedt se ajunge fa 0s,01"01"0. Cu ajutorul 5-
uplului {s,.0,s,,0,2) ajungem la configuratia s,D0I"0I"O.
Considerim ci in Qyavem unde inlocui__starile
{5251520855489} CU {52,5505 oF] FE ajungera la
configuratia urmatoare a benzii: s,,01°001"0. in Q,, mlocuim cu
{su.Sis.he}- Ajungem in acest mod la configuratia O1"s,,001"0
Acum introducem in Q, ‘S-uplele din @, in care
{soSpeo85.s8}le Inlocuim cu {sp,5ireo8y etx} gi obsinem
configuratia O1%s,,01°00. Introducind in Q, S-uplele din
Op, in care startle {s).5,.3} le inlocuim eu { s} obtinem
in final configuratia s01"01"00
Opservatia 2.2.4.
Compunind D,,D,,P si M in diferite moduri obdtinem
alte masini Turing ca de exemplu:
C= P* Dy* P are ca efect 01'01"5,01'0* OF s01'01"0,
in =D, *M*P*D, "PYM" D, *P*D," Dy" PD, are
ca efect s,01’01" 201"01" s01"01"
50Sintem acum capabili si demonstrim un fapt important
dat de unmatoarea
Teorema 2.2.2.
PAR CIE
Demonstratie. (C, R, S -1974).
Trebuie sé arin deci ci orice fimetie partial recursiva
este Turing caleulabild. Pentru aceasta, vom arata pentnt inceput
cA, contine functiile elementare iar apoi cd este inchisa la
compunere, recursiv primitiva si minimizare,
I Functiile elementare sini Turing caiculabile
1) Funetia ould
Fie MT, =(B.S,Qu7, 59) unde § = {55.5,,53453,3} iar
Dun, = {5.9,5;,0,D).(5s1,5,.1, £)(5,,0,8;50, R),
(520h,85.0, £).(s550,59,6, R),(,0.5,0,1)} transforma
S010 F01"s,0F 015,00 F 5,00" & sg”!
2) Funetia succesor
Fie MT, =({0.1,5, yr, 150) care calouleazi
s,01°0F sor"
unde $ = {59,.5,,5,,8}, iar
Our, = ((5050.5,,0,L}.(5,.1.5.1,2),
(55:0, )u(S2slsicls Rh (9,0.9,0,2)}
3) Functiile projectie
Facem urmitoarea conventic ce notare: dacd am
MTP =(BS.Qyr-5) si S={s,
mulfimea S-uplelor ce se obtin din Q,j- inlocuind simbolurile s,
4 s}. Notim cu Ol}
cu yg P= OT iar s cu sy, far cu MP"! maging Toring
f . Ale Ol
(B.(s..-Ssean Sng fbn) (WT = a7)
31Daci psig Fe asw atunci pxyq jis Saas! C@BA_Ce YO
nora cu ps.¢(MI'")rs, 21,
Demonstrim de cxemplu ci p} este, Turing calculabila,
Avem atunei cd:
990101" (Ors, 01" Qo!) sys00"(aAr? pre's 0..00(082 0
Deci aceasti funetie este calculat). de masina Turing
D,*P*MTy* Dg
H Inchiderea ia compunere
Fic fi fre tiN ON gi NV ON.
Aral ch, dacd fy, fa. Sg 6.9% atc S°"'(g. 4, f,} @7
Luam cazul m=k=2 gi presupunem ck gif.) sint
caleulate de masinile Turing MT,, MT,,. MT,
Atunei
se0V'O1"(A Jor01" s,,01°01"( ANT, "}
or"ors 01% (C)ovirr's, orol”
{ser}ovitens, o120"( 099s, ong
faloeatrhf y gta Civ lron)) |p peat fiesta liad)
LIMA) OU. AhD soy :
decd (5,,0,8,0.2) €Qyr,.
UY {nchiderea la vecursie primitivit
Fie g:N-N si AN? —>N gi f=RP(gA), Deci
fix,0l= g(x) flaytlaalsyst(xy)), Vom arata ci daca
gh ee atunei si f 27,
Fie M7, si M7, masinile Turing ce calculeazi pe g
respectiv 4. Atunci avert ca:
52sy QV"Ol"O(D, * P* MAPH Dg MOLL sg0VO(HTL hr'oM sya!"
Acuin, daca (55.0,59.10, Rh, (Sperte Spans 1) Qyr (unde
MT este magina Turing ce umeaza s-o determinim) configuratia
benzii este 01701""'55,,001/". Apoi
OVOP 5,000 EAI} rgiH-1s, gpg
(D,*P* D+ P* aM)" s,0L00'O
(P* Dd, P*D, Poros ong 119
(HE! Jorror"' sop
Folosind instructiumnea (s.,0, 59:0,f) €0y caloulul se reia
de la prima aparitie a starii sy configuratiile de forma
GLO s,01OL OLYOU Ms a1" atae timp cat >i
ajungindusc in final. «= la_—sconfiguratia —_benzii
01°0s,01/ "9-01" s4,,0017™9. Daca
(5po1:0:541.0,2) B=(0,0, zot2={
D xn e?.
Presupunem ci yy €.7
1 xeQ
D xeM\Q
9 ply)=b
T altfel
atunei g(x.y)=Cyly(x,y)). y= functia universalé pentru
functiile partial recursive de o veriabilé. Deci ge. 2”. Fie
Fie gi N? > N, atos)e|
7