0% found this document useful (0 votes)
25 views10 pages

Tuning Machine Problem

The document discusses the design and functionality of a Turing Machine (TM) that performs operations on integers, including increment, addition, subtraction, and multiplication. It outlines various functions and transition functions for these operations, as well as techniques for enhancing the TM's capabilities. Additionally, it describes the process for checking symbols and handling multiple tasks within the TM framework.
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
0% found this document useful (0 votes)
25 views10 pages

Tuning Machine Problem

The document discusses the design and functionality of a Turing Machine (TM) that performs operations on integers, including increment, addition, subtraction, and multiplication. It outlines various functions and transition functions for these operations, as well as techniques for enhancing the TM's capabilities. Additionally, it describes the process for checking symbols and handling multiple tasks within the TM framework.
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 10

Peenctrons

Tivtthg Machche as a Comptte o8 Integer


TM Cso CD5ed ts a compttee o functtons tom nte qes
tnteqets
to thteqes
It can pofokmn thcrement, addctton , stbtxacton + Meltiplicte
opera too on hteqers These operattors can be tepresented es

fccncttos
FCX) = XI Ccncremernt)
9. FCx) = *42 CAdclcrg constcnts)
8. FCx = Xty C Addcttoo o6 kwo hteqes)

4. FCX)x-y e Pope sttbhraction)


56 FCX,y) =x*y C Mtftpltcafron o ttoo Ioteges

operatton cwhere acn nkeqet


Destgh a TM tdt the Increment

XBthe tnptt
PCx)= X+
Take tnput x =2 Fot that Ftr two zetos es Tnput
Tape

1 Tape Fiectd
FCx)= 2t/
3 To qet 3 eplace
Blctnk scyen bol a2
Zeto in rtght
Sof:
change the First bcnic af the etid of nast ECtst
the sting Ccnpef) as o lanc sym-

TRanstttoo Ftncton
B

o0R ,OR SC9o0)= (4o,0,R)


8C9oB) (9, DR)
Thsfaer breotts Desctcptoo

40 00000B 09o 00000B


0o9o 00 oB
0 00 9o oo B
0000 9o oB
O00 00 90B
O 00000%B

a TM foa acddcno a constant n oith an


cntege x
DeStqn
PCx)=x+2 PeDm + +2
Fcts blancs afthe end o Strnp
idea chanqe the n

A6AL) CX) X*2

X 5 5t2 =

Blo oo[ofo B B B
Tape Head

THanstton Fctnckton
8o B
SC900) (o,0,R)
SC9oB) (G,01R)
SCB) (20 R)

Insfctntctneocos Descttpftò o
00B
ooo B E 009o 00o8 o 0 o 9o
90 00000B o4d
0 0 0 0 0 o 9, B
00009o08 o0000 9o B
00000009,B
Destýa TM f o actct ciq rwo cnPegets (XY)
fcx)**y
te Fctke Inpeef X dY 443
Add zetos 4 3 zeaos
B

B oololo [+lofo
t6 move RUghE
ughE
dea Seperaui l as o
Scan legt chaarnge (he
cs Blanc
chacuge the loest zetd
ol0
ole

THansttoo tade Ttanstido FetnclrdD


R
o
B &C9o10)
8
OR 4, OR
8 C9,0)
8 C48) = (92,B,
4,0R 2B
8C92) (3 B,E)
3BR O000 oo0
I D foF Jo
HDo EE Ybevtselg

Scebtrctcton
Stbtrcctön on troo tnkegers-
too tDeges
TM bo perform Ptope
Desiqp a

(x Proper ttbtaaeftoo

FCXy) X-y X 7Y)


FCXY) = 0 x £Y)

by No od zero's respectrvely4
idea Fespectrvely
x y ate tepresented
i
tthe Seperator Xx sY zerod
bra fttst
x Pat eaueet
cQucet he Fcrst zetd ftwm there ae tuD Zeres
Process L
thoro PeuE Repeat thi
in the X Part aud lor y Part
If X>yY +he temecehcin zerus fthe x pane 4 h e answe
IXy
kv blantc
Etse chauge att te Sy nuoots B B
B B

X:4
X=4 Y9 ftky):4-2 olotS lde[P
2
tB18)
(90

olp 94
O0
(95 oool oo

8B

mcembers.
for mecllepltcaton of too
Draw a Tuteng me
N

Tnpt 61olo e lolololo


fCx) mxD

Hx3 12 doovetb
4 then p B fou nd
to Auqub
Os ,c 4 go
Frast tgnore
Stept
Convet C c cnto C
C
tfen Convet
then
o's 4 go lept4
Then gnore
Step2
qo angtut 4 to
td qhE
mht y oofo und
found
alt x
altx nh X
tno go
Courert Convet &
Convert e
Theu founo
founa
otfercoue a
step3
Step3 offeroue

9o o
lept
eno X 6
touveut t Re Me
hht 6 sop
o
t no B 9o
üuk X 4 go lept
he
X founo.ouvext
it
Ptfien kept
gep
shupy Y
tb 4
tho c 4 lepttfien
fottud Couvett i+ tuv B d tphE then y y the
B 3 6 tepea te
qo o s ap3 tepea
Then
step 5 C tisht
tyhE
4 9o o slap
o pC tnlo hen louvetittR
tnt O Augut sfep
sfep
fotcrd aptu
PaoCess otAeaoise po then C o
t e n C_inb
c
C 6 rphk rhen
rpht tfie
tfen y thv Y 4 ph tno cb phk
6 ttpht hen c inoO
Y tepht
ht
lept tfen
o
ot X tX O lept-
tu
O
B tn tnb K
X 6 ept+
4 tephf then X tnb
or
thfo o cnk o0
o tns
o Ren
Ren
then
C lepf
dCept
Cen
thon
ept eft
cnto C 4
thenC

repeat
te cstep
sep

hen
Step 6

elofol o|o|jsp|p

B0 o lo|o|o|olo|oo
x/,2
ofo,R o
B/a/
ete 19o
Yo

,ol0
Ktegnammrig Techneqeces fot Corslpterckthq Ttotthg machene

The Compouens teakteres the 7M Blegutty acgmened


The fottoc oeng techncqrces aole
ernptove tecoguthq pn btlct.
to enlaunqe thu tanqeage gef gthe TM
apptid
. Secbeotukhe
Soncaqe on skctti . Mectple tatacs

A. checeereq off smbols.

Stotaqe on stte

extends he mecnory En fhe fcccte3bctte Conho


This tec1nicqece tnadd kcöo to the skat tNPo
fefetence
to sore a symbot -fbt

TM b te coguie the laog ol* +to*


Destqo a

memony ofthe fenik


coo
Itou Re tèst sqmbof in the
tdea chzcit whe ttee the Symb
tept to ephF o
Scau tRe atnng fro OA hot TP
I t does uof
f it
uot appea
aPpea
poscttons
n He aeuainehp that Re iveo sbrp
appectus
kteu tHen tRe c says
Stcoue
t o tfe teecbza
accepto
ue
otherco
TAccastkton Dlagkam
&
tqenexre
seBo.0), ) |39,0, where & of
Sl9o,), ) C f ,1,RJ s cOmpleuenE

sO,o),) (1,),9)
[ ,,),0)= ((,0,R)

Sn8) = C%,), B,R)


8 C l ) C(),3,t]
(o,E B[B

The ptocos3tNor the ne on fhe strthg


(ooo

1 B Oo oB

o B 89, .,,R
) o l o loB
B
T
, 0 ) (l3,),».)
3) B oooB

,0, -,08

G,),) - [8»,8)
(4,10
Muttpl Taack

ztacks ën Oxcleu ko
& d1ricted tno
The enpttt hupe
each step
meet ttple chfo a
Sb Fchc sfatë Conho

ptace
TRace 2
INpce ape tucth
3 BIBB Tracc3
McetttuTnace
Destan a mettack TM o check tohether the wen
numbet ë Ptcme ot not
gven

TO sotve ths Problem (t&e th&s bntttei totecte techntoeee


The geve No & dtvtoted by #he geqecene of No less than

I f the rema choles ts uet zetd for alt


Nc te 9 d N/a)
the No Hen tRe ven No U PLCe. ffere tre dcnitôo s
Pexpoamed byAepeatio scbttacteso

uube
The fst tLacte Séorees Hthe giveo
tiace stous e cltvtsor
Th &coud
LMplenuents th dtvistoo tfuouPb Yepeeid
The thùd kacte
Stcbacton
N:8

The Aunatnelee i zetD tor 5 4

tet N
Do it Yowbe

Sublotttaes
sttbttsk stepealeol fox n kemes
If a Paattctar
toa the
then a TM mlc Can be designato
a dotutton ,
wheneve tk
matn ftncton TM
Scubtask catteol by the
tatlud subxou Ftne
Feqecred. This techntqe
Destgo a TM cnplecmenF Metfrplcabton operafton usng
Stbrot fthe techntoqece

tCxY) X *9
X zetod's
X represents s
zeto's
represent
CtS Y
Y

X:3 Y =2 0 O 0 o Of B

additoo
addcitoo
tepeatad
Mttftpteéccktonts
petformed a s

Co fte copu tape


8 Paxts
Par

Y PaA
AnstoepoLP

nthe
în ausweu paN
ke aswu patt
copd ,, i&&
zee n
in
zee's X
z
tn X pauf , Y ho o for
tor eve
e vey

For eveH 1eto zetds


s repeatz
No $ M N

Co pyy
Y StubRoufthe
PALt

Sti
as
tatcen
o
o7 lo (
(4 Copg Subuouttne

(4)
BGT

S u bt o u t n e

Cat
o8
ofo
o
Checkthg off symbola

tac AM/e whe Secoud bote iu t d »


of ,

Checren f the syubo la

Grve the sttnq Pecessrr 1 the 7M tdertpuis tt ahd


abcab

B1abe
SC4.8) f8,)( l9,], (a,a],E]
9,a
B x B B B BB B
B ab ca
B b B

fbma),[b.b)) : [6,.76.),«)

ReMatp qiven
bool

You might also like