МІНІСТЕРСТВО ОСВІТИ І НАУКИ УКРАЇНИ

ННК «ІПСА» НТУУ «КПІ ІМ. ІГОРЯ СІКОРСЬКОГО»

КАФЕДРА ММСА

Розрахункова робота
з дисципліни: Математична логіка і теорія алгоритмів
на тему “Машина Тьюрінга”

Виконала:
Студент І курсу Групи КА-21
Олефіренко М.О.
Перевірив Спекторський І. Я.

Київ 2023
Задача:
Обчислити φ(n),де φ — функція Ейлера (φ(n) — кількість натуральних
чисел, які взаємно прості з n і не перевищують n)

Протокол роботи машини Тьюрінга для завдання:

b1,1:b2,1,S ncp,1:ncp,1,L nc20p,1:nc20p,1,L

b1,0:n~,0,S ncp,0:ncp,0,L nc20p,0:nc20p,0,L
b2,1:b3,1,L ncp,:ncp1~,),L ncp21,1:ncp21,1,L
b3,1:n~,1,R ncp1~,:ncp1,),R ncp21,0:ncp21,0,L
b3,0:n~,0,R ncp1,):ncp1,,R ncp21,):nc21p,),L
b3,:b4,,R ncp1,1:ncp1,1,R ncp21,:ncp21,,L
b4,1:b5,1,R ncp1,0:ncp1,0,R nc21p,:nc21r,1,R
b5,:b6,,R ncp1,=:ncp2,=,L nc21p,1:nc21p,1,L
b5,1:n~,1,L ncp2,|:ncp2,|,L nc21p,0:nc21p,0,L
b5,0:n~,0,L ncp2,:nud,,S nc21r,1:nc21r,1,R
b6,:b7,p=,R nud,|:nud,,R nc21r,0:nc21r,0,R
b7,:!,1,S nud,Z:nud,,R nc21r,):nc1r,),R
n~,:n1,=,R nud,:nud,,R nc1r,:nc1r,,R
n,1:n~,1,L nud,1:nud,1,R nc1r,1:nc1r,1,R
n,0:n~,0,L nud,0:nud,0,R nc1r,0:nc1r,0,R
n~,1:n~,1,L nud,=:nud,=,R nc1r,|:ncp2,|,L
n~,0:n~,0,L ncp2,Z:ncp2,Z,L nc1r,Z:ncp2,Z,L
n~,=:n~,=,L ncp2,1:ncp21,|,L nc1r,=:nc1cl,=,L
n1,1:n1,1,R ncp2,0:ncp20,Z,L n3,1:n3,1,L
n1,0:n1,0,R ncp20,1:ncp20,1,L n3,0:n3,0,L
n1,:n2,-,L ncp20,0:ncp20,0,L n4,1:n4,1,L
n2,1:n3,|,L ncp20,:ncp20,,L n4,0:n4,0,L
n2,0:n4,Z,L ncp20,):nc20p,),L n4,=:n44,=,L
n2,=:n2c,=,R nc20p,:nc20r,0,R n44,1:n44,1,L
n2c,|:n2c,|,R nc20r,):nc20r,),R n44,0:n44,0,L
n2c,Z:n2c,Z,R nc20r,1:nc20r,1,R n44,:n44r,0,R
n2c,-:n3c,-,L nc20r,0:nc20r,0,R n3,=:n33,=,L
n3c,|:n3c,1,L nc20r,:nc20r,,R n33,:n33r,1,R
n3c,Z:n3c,0,L nc20r,|:ncp2,|,L n33,1:n33,1,L
n3c,=:ncp,=,L nc20r,Z:ncp2,Z,L n33,0:n33,0,L
n33r,1:n33r,1,R ndr11,0:ndr11,0,L cpy00,:cpy00,,R
n33r,0:n33r,0,R ndr00,-:ndr0,-,L cpy11,(:py11,(,R
n33r,=:n33rr,=,R ndr11,-:ndr1,-,L cpy00,(:py00,(,R
n44r,1:n44r,1,R ndr1,1:ndr1,1,L py11,:rpy11,1,L
n44r,0:n44r,0,R ndr1,0:ndr1,0,L py00,:rpy00,0,L
n44r,=:n44rr,=,R ndr1,V:nud2,V,R py11,1:py11,1,R
n33rr,1:n33rr,1,R ndr1,B:nud2,B,R py11,0:py11,0,R
n33rr,0:n33rr,0,R ndr0,1:ndr0,1,L py00,1:py00,1,R
n33rr,|:n2,|,L ndr0,0:ndr0,0,L py00,0:py00,0,R
n33rr,Z:n2,Z,L ndr0,V:nud2,V,R rpy11,1:rpy11,1,L
n44rr,|:n2,|,L ndr0,B:nud2,B,R rpy11,0:rpy11,0,L
n44rr,Z:n2,Z,L nud2,-:nudcl,-,L rpy00,1:rpy00,1,L
n44rr,1:n44rr,1,R nudcl,V:nudcl,1,L rpy00,0:rpy00,0,L
n44rr,0:n44rr,0,R nudcl,B:nudcl,0,L rpy11,(:rpy11,(,L
nud,-:nud1,-,L nudcl,=:decr,=,R rpy00,(:rpy00,(,L
nud1,1:nud1,1,L decr,1:decr,1,R rpy11,:rpy11,,L
nud1,0:nud1,0,L decr,0:decr,0,R rpy00,:rpy00,,L
nud1,=:nud2,=,R decr,-:dr1~,-,R rpy11,E:cpy2,E,R
nud2,1:nud11,V,R dr1~,1:dr1~,1,R rpy11,R:cpy2,R,R
nud2,0:nud00,B,R dr1~,0:dr1~,0,R rpy00,E:cpy2,E,R
nud2,V:nud2,V,R dr1~,:dr1~~,,R rpy00,R:cpy2,R,R
nud2,B:nud2,B,R dr1~~,:dr2~~,(,L cpy2,:clcpy,,L
nud11,1:nud11,1,R dr2~~,:dr2~~,,L clcpy,E:clcpy,1,L
nud11,0:nud11,0,R dr2~~,1:cpy1,1,S clcpy,R:clcpy,0,L
nud00,1:nud00,1,R dr2~~,0:cpy1,0,S clcpy,-:ccpy1,-,R
nud00,0:nud00,0,R cpy1,1:cpy1,1,L ccpy1,1:ccpy1,1,R
nud00,-:nd00,-,R cpy1,0:cpy1,0,L ccpy1,0:ccpy1,0,R
nd00,:ndr00,0,L cpy1,-:cpy2,-,R ccpy1,:ccpy1,,R
nd00,1:nd00,1,R cpy2,1:cpy11,E,R ccpy1,(:setp,(,R
nd00,0:nd00,0,R cpy2,0:cpy00,R,R setp,1:setp,1,R
ndr00,1:ndr00,1,L cpy2,E:cpy2,E,R setp,0:setp,0,R
ndr00,0:ndr00,0,L cpy2,R:cpy2,R,R setp,:setp1,,R
nud11,-:nd11,-,R cpy11,1:cpy11,1,R setp1,:setp2,p=,L
nd11,1:nd11,1,R cpy11,0:cpy11,0,R setp2,:setp2,,L
nd11,0:nd11,0,R cpy00,1:cpy00,1,R setp2,1:prd,0,L
nd11,:ndr11,1,L cpy00,0:cpy00,0,R prd,(:st,(,R
ndr11,1:ndr11,1,L cpy11,:cpy11,,R prd,1:decr3,1,R
prd,0:decr3,0,R dccl,0:k1,0,S k31,:k31r,T,R
setp2,0:decr4,1,L k1,1:k1,1,L k31,1:k31r,T,R
decr2,0:decr4,1,L k1,0:k1,0,L k31,0:k31r,T,R
decr4,0:decr4,1,L k1,(:k2,(,R k31r,1:k31r,1,R
decr4,1:decr5,0,L k2,T:k2,T,R k31r,0:k31r,0,R
decr5,0:decr5,0,L k2,Y:k2,Y,R k31r,T:k31r,T,R
decr5,1:decr5,1,L k2,1:k3,T,L k31r,Y:k31r,Y,R
decr5,(:decr6,(,R k2,0:k4,Y,L k31r,:k31r,,R
decr6,1:d1,1,R k4,T:k4,T,L k31r,(:k32r,(,R
d1,1:d1,1,R k4,Y:k4,Y,L k32r,T:k32r,T,R
d1,0:d1,0,R k4,:k4,,L k32r,Y:k32r,Y,R
d1,:dccl,,L k4,(:k4,(,L k32r,1:k2,1,S
decr6,0:decr7,0,R k4,1:k4,1,L k32r,0:k2,0,S
decr7,0:decr9,W,L k4,0:k4,0,L k32r,:kcl1,,L
decr7,1:decr8,Q,L k4,-:k40,-,R k41r,:kcl1,,L
decr9,1:dec9~,0,R k40,T:k40,T,R kcl1,T:kcl1,1,L
decr9,0:dec9~,0,R k40,:k40r,Y,R kcl1,Y:kcl1,0,L
decr9,Q:dec9~,0,R k40,Y:k40,Y,R kcl1,(:kcl2,(,L
decr9,W:dec9~,0,R k40,1:k40r,Y,R kcl2,:kcl2,,L
dec9~,Q:dec9~,Q,R k40,0:k40r,Y,R kcl2,1:kcl2,,L
dec9~,W:dec9~,W,R k40r,1:k40r,1,R kcl2,0:kcl2,,L
dec9~,1:decr7,1,S k40r,0:k40r,0,R kcl2,T:kcl2,1,L
dec9~,0:decr7,0,S k40r,:k40r,,R kcl2,Y:kcl2,0,L
decr8,0:dec8~,1,R k40r,(:k41r,(,R kcl2,-:kcl3,-,R
decr8,Q:dec8~,1,R k41r,T:k41r,T,R kcl3,1:kcl3,1,R
decr8,W:dec8~,1,R k41r,Y:k41r,Y,R kcl3,0:kcl3,0,R
decr8,1:dec8~,1,R k41r,1:k2,1,S kcl3,:qp,,L
dec8~,Q:dec8~,Q,R k41r,0:k2,0,S qp,0:q0,Z,L
dec8~,W:dec8~,W,R k3,T:k3,T,L qp,Z:q0,Z,L
dec8~,1:decr7,1,S k3,Y:k3,Y,L qp,|:q0,|,L
dec8~,0:decr7,0,S k3,:k3,,L qp,1:q1,|,L
dec9~,:dccl,,L k3,(:k3,(,L q0,0:q0,0,L
dec8~,:dccl,,L k3,1:k3,1,L q0,1:q0,1,L
dccl,Q:dccl,,L k3,0:k3,0,L q1,1:q1,1,L
dccl,W:dccl,,L k3,-:k31,-,R q1,0:q1,0,L
decr3,0:k1,0,S k31,T:k31,T,R q0,-:q0.,-,L
dccl,1:k1,1,S k31,Y:k31,Y,R q0.,:q0.,,L
q1,-:q1.,-,L q011,:q011,,L ret,|:ret,|,R
q1.,:q1.,,L q011~,Z:q011~,Z,L ret,:ret,,R
q011~,0:q011~,0,L ret,Z:ret,Z,R
q0.,|:q0.,|,L q011~,|:q011~,|,L ret,-:ret1,-,S
q0.,Z:q0.,Z,L q011~,1:q011~,1,L ret1,-:ret1,-,R
q1.,|:q1.,|,L q011,1:qf,0,R ret1,1:ret1,1,R
q1.,Z:q1.,Z,L qf,0:qf,1,R ret1,0:ret1,0,R
q0.,0:q00,Z,L qf,1:qf,1,R ret1,|:ret2,|,L
q0.,1:q01,|,L qf,Z:q0111,Z,L ret1,Z:ret2,Z,L
q1.,0:q011,Z,L qf,|:q0111,|,L ret2,1:qp,1,S
q1.,1:q11,|,L q0111,|:q0111,|,L ret2,0:qp,0,S
q00,:q00,,L q0111,1:q0111,1,L ret2,-:per0,-,L
q00,0:q00,0,L q0111,0:q0111,0,L per0,Z:per0,Z,L
q00,1:q00,1,L q0111,:q0111,,L per0,|:per0,|,L
q00,|:q00,|,L q0111,=:0111~,=,L per0,1:per1,|,L
q00,Z:q00,Z,L 0111~,|:0111~,|,L per0,0:per00,Z,L
q00,:q00,,L 0111~,1:0111~,1,L per0,:per0,,L
q00,=:q00~,=,L 0111~,0:0111~,0,L per1,0:per1,0,L
q00~,0:q00~,0,L 0111~,:qret,1,R per1,1:per1,1,L
q00~,1:q00~,1,L q01~,:qret,1,R per1,:per1,,L
q00~,|:q00~,|,L q11,0:q11,0,L per1,=:per1~,=,L
q00~,Z:q00~,Z,L q11,1:q11,1,L per1~,0:per1~,0,L
q00~,:qret,0,R q11,|:q11,|,L per1~,1:per1~,1,L
q01,0:q01,0,L q11,Z:q11,Z,L per1~,:perz,1,R
q01,1:q01,1,L q11,:q11,,L per00,1:per00,1,L
q01,|:q01,|,L q11,=:q11~,=,L per00,0:per00,0,L
q01,Z:q01,Z,L q11~,0:q11~,0,L per00,=:p00~,=,L
q01,:q01,,L q11~,1:q11~,1,L per00,:per00,,L
q01,=:q01~,=,L q11~,|:q11~,|,L p00~,1:p00~,1,L
q01~,0:q01~,0,L q11~,Z:q11~,Z,L p00~,0:p00~,0,L
q01~,1:q01~,1,L q11~,:qret,0,R p00~,:perz,0,R
q01~,|:q01~,|,L qret,:qret,,R perz,1:perz,1,R
q01~,Z:q01~,Z,L qret,0:qret,0,R perz,0:perz,0,R
q011,=:q011~,=,L qret,1:qret,1,R perz,:perz,,R
q011,Z:q011,Z,L qret,=:ret,=,R perz,=:perz,=,R
q011,0:q011,0,L ret,1:ret,1,R perz,Z:perz,Z,R
q011,|:q011,|,L ret,0:ret,0,R perz,|:perz,|,R
perz,-:ret2,-,S cth,Y:cth,0,L pths,0:pths,0,R
per0,=:cl0,=,R cth,:cth,,L pths,^:pth1,^,L
cl0,-:cl1,-,R cth,-:cth1,-,L pths,*:pth1,*,L
cl0,|:cl0,|,R cth1,:cth1,,L pth11,0:pth11,0,L
cl0,Z:cl0,Z,R cth1,0:cth1,0,L pth11,1:pth11,1,L
cl0,:cl0,,R cth1,1:cth1,1,L pth11,-:pth12,-,L
cl1,:cl2,,L cth1,=:cth2,=,L pth12,:pth12,,L
cl1,|:cl1,|,R cth2,T:cth2,1,L pth12,^:pth12,^,L
cl1,Z:cl1,Z,R cth2,Y:cth2,0,L pth12,*:pth12,*,L
cl2,Z:cl2,0,L cth2,:cpth,,R pth12,1:pth1r,^,R
cl2,|:cl2,1,L cpth,0:cpth,0,R pth12,0:pth1r,^,R
cl2,-:cl5,-,L cpth,1:cpth,1,R pth1r,1:pth1r,1,R
cl5,:cl5,,L cpth,=:cpth1,=,R pth1r,0:pth1r,0,R
cl5,Z:cl5,0,L cpth1,0:cpth1,0,R pth1r,^:pth1r,^,R
cl5,|:cl5,1,L cpth1,1:cpth1,1,R pth1r,*:pth1r,*,R
cl5,=:cl6,=,L cpth1,:cpth1,,R pth1r,:pth1r,,R
cl6,1:cl6,1,L cpth1,-:cpth2,-,R pth1r,-:pth2r,-,S
cl6,0:cl6,0,L cpth2,1:cpth2,1,R pth2r,-:pth2r,-,R
cl6,:cl7,,R cpth2,0:cpth2,0,R pth2r,1:pth4r,1,R
cl7,1:qretp,1,S cpth2,:pth1,,L pth2r,0:pth4r,0,R
cl7,0:cl7,,R pth1,1:pth11,^,L pth2r,^:sth,^,R
pth1,0:pth10,*,L pth2r,*:sth,*,R
qretp,1:pr,T,R ptho1,^:ptho1,^,L pth4r,1:pth4r,1,R
qretp,0:pr,Y,R ptho1,*:ptho1,*,L pth4r,0:pth4r,0,R
qretp,=:sr,=,R pth10,1:pth10,1,L pth4r,^:pth1,^,L
sr,1:sr,1,R pth10,0:pth10,0,L pth4r,*:pth1,*,L
sr,0:sr,0,R pth10,-:pth13,-,S sth,^:sth,^,L
sr,:sr,,R pth13,-:pth13,-,L sth,*:sth,*,L
sr,-:sr1,-,R pth13,:pth13,,L sth,K:sth,K,L
sr1,T:sr1,T,R pth13,^:pth13,^,L sth,L:sth,L,L
sr1,Y:sr1,Y,R pth13,*:pth13,*,L sth,1:sth,1,L
sr1,:crav,,L pth13,1:pth1r,*,R sth,0:sth,0,L
sr1,1:th,T,S pth13,0:pth1r,*,R sth,-:sth1,-,L
sr1,0:th,Y,S pthr3,*:pthr,*,R sth1,:sth1,,L
th,T:cth,1,L pthr,^:pthr,^,R sth1,1:sth1,1,L
th,Y:cth,0,L pthr,-:pths,-,R sth1,0:sth1,0,L
cth,T:cth,1,L pths,1:pths,1,R sth1,^:sth1,^,L
sth1,*:sth1,*,L sthr4,K:sthr4,K,R sti4,K:sti4,,L
sth1,=:sth2,=,L sthr4,L:sthr4,L,R sti4,L:sti4,,L
sth2,K:sti,K,R sthr4,^:sth,K,L sti4,:sti5,,R
sth2,L:sti,L,R sthr4,*:sth,K,L sti5,=:sti5,=,R
sth2,1:sth3,1,L sthr3,1:sthr3,1,R sti5,1:sti5,1,R
sth2,0:sth3,0,L sthr3,0:sthr3,0,R sti5,0:sti5,0,R
sth3,1:sth3,1,L sthr3,K:sthr3,K,R sti5,:sti5,,R
sth3,0:sth3,0,L sthr3,L:sthr3,L,R sti5,-:sti6,-,R
sth3,K:sth4,K,R sthr3,^:sth,L,L sti6,1:sti6,1,R
sth3,L:sth4,L,R sthr3,*:sth,L,L sti6,0:sti6,0,R
sth3,:sth4,,R sti,=:sti,=,R sti6,:qp,,L
sth4,1:sth11,K,R sti,:sti,,R
sth4,0:sth00,L,R sti,1:sti,1,R qretp,T:qretp,T,R
sth11,1:sth11,1,R sti,0:sti,0,R qretp,Y:qretp,Y,R
sth11,0:sth11,0,R sti,^:sti,^,R qretp,0:pr,Y,R
sth11,^:sth11,^,R sti,*:sti,*,R pr,1:pr,1,R
sth11,*:sth11,*,R sti,K:sti,K,R pr,0:pr,0,R
sth11,=:sthr1,=,R sti,L:sti,L,R pr,=:prmin,=,R
sth00,1:sth00,1,R sti,-:sti1,-,R prmin,:prmin,,R
sth00,0:sth00,0,R sti1,1:sti1,1,R prmin,0:prmin,0,R
sth00,^:sth00,^,R sti1,0:sti1,0,R prmin,1:prmin,1,R
sth00,*:sth00,*,R sti1,^:sti1,^,R prmin,-:pr2,-,S
sth00,=:sthr0,=,R sti1,*:sti1,*,R pr2,-:pr2,-,R
sthr0,1:sthr0,1,R sti1,K:sti1,K,R pr2,T:pr2,T,R
sthr0,0:sthr0,0,R sti1,L:sti1,L,R pr2,Y:pr2,Y,R
sthr0,^:sthr0,^,R sti1,:sti2,,L pr2,1:pr3,T,S
sthr0,*:sthr0,*,R sti2,K:sti2,1,L pr2,0:pr3,Y,S
sthr0,:sthr0,,R sti2,L:sti2,0,L pr2,:oht,,L
sthr0,-:sthr3,-,R sti2,^:sti2,,L oht,T:coh,1,L
sthr1,1:sthr1,1,R sti2,*:sti2,,L oht,Y:coh,0,L
sthr1,0:sthr1,0,R sti2,-:sti3,-,L coh,0:coh,0,L
sthr1,:sthr1,,R sti3,:sti3,,L coh,1:coh,1,L
sthr1,^:sthr1,^,R sti3,^:sti3,1,L coh,0:coh,0,L
sthr1,*:sthr1,*,R sti3,*:sti3,0,L coh,T:coh,1,L
sthr1,-:sthr4,-,R sti3,1:sti3,,L coh,Y:coh,0,L
sthr4,1:sthr4,0,R sti3,0:sti3,,L coh,-:coh1,-,L
sthr4,0:sthr4,0,R sti3,=:sti4,=,L coh1,:coh1,,L
coh1,1:coh1,1,L cpoh2,0:cpoh3,K,L pr5,T:qretp,T,R
coh1,0:coh1,0,L cpoh3,K:cpoh3,K,L pr5,Y:qretp,Y,R
coh1,T:coh1,1,L cpoh3,L:cpoh3,L,L
coh1,Y:coh1,0,L cpoh3,:cpoh3,,L crav,T:crav,1,L
coh1,=:coh2,=,L cpoh3,=:cpoh4,=,L crav,Y:crav,0,L
coh2,T:coh2,1,L cpoh4,1:cpoh4,1,L crav,-:crav1,-,L
coh2,Y:coh2,0,L cpoh4,0:cpoh4,0,L crav1,1:crav1,1,L
coh2,1:coh2,1,L cpoh4,K:cpoh,K,R crav1,0:crav1,0,L
coh2,0:coh2,0,L cpoh4,L:cpoh,L,R crav1,:crav1,,L
coh2,:cpoh,,R cpoh,=:osti,=,L crav1,=:crav2,=,L
cpoh,K:cpoh,K,R osti,K:osti,K,L crav2,T:crav2,1,L
cpoh,L:cpoh,L,R osti,L:osti,L,L crav2,Y:crav2,0,L
cpoh,1:cpoh1,K,R osti,:osti1,,R crav2,:crav3,,R
cpoh,0:cpoh0,L,R osti1,K:osti1,,R crav3,1:crav3,1,R
cpoh0,1:cpoh0,1,R osti1,L:osti1,,R crav3,0:crav3,0,R
cpoh0,0:cpoh0,0,R osti1,=:osti2,=,R crav3,=:crav4,=,R
cpoh0,=:cpoh5,=,R osti2,K:osti2,1,R crav4,1:crav4,1,R
cpoh5,:cpoh5,,R osti2,L:osti2,0,R crav4,0:crav4,0,R
cpoh5,K:cpoh5,K,R osti2,1:osti2,,R crav4,:crav4,,R
cpoh5,L:cpoh5,L,R osti2,0:osti2,,R crav4,-:crav5,-,R
cpoh5,1:cpoh6,L,L osti2,:osti2,,R crav5,1:crav5,1,R
cpoh5,0:cpoh6,L,L osti2,-:koncp,-,S crav5,0:crav5,0,R
cpoh6,K:cpoh6,K,L koncp,-:koncp,-,R
cpoh6,L:cpoh6,L,L koncp,1:koncp,1,R
cpoh6,:cpoh6,,L koncp,0:koncp,0,R crav5,:por,,L
cpoh6,=:cpoh7,=,L koncp,:qp,,L por,1:por,1,L
cpoh7,1:cpoh7,1,L por,0:por,0,L
cpoh7,0:cpoh7,0,L pr3,T:pr3,T,L por,J:por,J,L
cpoh7,K:cpoh,K,R pr3,Y:pr3,Y,L por,N:por,N,L
cpoh7,L:cpoh,L,R pr3,-:pr4,-,L por,-:pors,-,S
cpoh1,1:cpoh1,1,R pr4,:pr4,,L pors,-:pors,-,R
cpoh1,0:cpoh1,0,R pr4,1:pr4,1,L pors,J:pors,J,R
cpoh1,=:cpoh2,=,R pr4,0:pr4,0,L pors,N:pors,N,R
cpoh2,:cpoh2,,R pr4,=:pr5,=,S pors,1:por1,J,L
cpoh2,K:cpoh2,K,R pr5,=:pr5,=,L pors,0:por0,N,L
cpoh2,L:cpoh2,L,R pr5,1:pr5,1,L pors,:poreq,,L
cpoh2,1:cpoh3,K,L pr5,0:pr5,0,L por1,J:por1,J,L
por1,N:por1,N,L porr2,N:porr2,N,R cpohz,J:cpohz,J,R
por1,1:por1,1,L porr2,:porr3,,L cpohz,N:cpohz,N,R
por1,0:por1,0,L porr3,J:porr3,1,L cpohz,1:cpohz,1,R
por1,-:por1~,-,L porr3,N:porr3,0,L cpohz,0:cpohz,0,R
por1~,:por1~,,L porr3,0:porr3,0,L cpohz,:cpohx,,L
por1~,1:por1~,1,L porr3,1:porr3,1,L cpohx,1:cpohx,1,L
por1~,0:por1~,0,L porr3,-:porr4,-,L cpohx,0:cpohx,0,L
por1~,=:por2,=,L porr4,:porr4,,L cpohx,J:cpohx,1,L
por2,1:por2,1,L porr4,1:porr4,1,L cpohx,N:cpohx,0,L
por2,0:por2,0,L porr4,0:porr4,0,L cpohx,-:cpohc,-,L
por2,:por22,,R porr4,=:porr5,=,L cpohc,:cpohc,,L
por2,J:por22,J,R porr5,1:porr5,1,L cpohc,1:cpohc,1,L
por2,N:por22,N,R porr5,0:porr5,0,L cpohc,0:cpohc,0,L
por22,1:porr,J,R porr5,J:porr5,1,L cpohc,=:cpohv,=,L
porr,1:porr,1,R porr5,N:porr5,0,L cpohv,0:cpohv,0,L
porr,0:porr,0,R porr5,:cpth,,R cpohv,1:cpohv,1,L
porr,=:porr~,=,R cpohv,J:cpohv,1,L
porr~,1:porr~,1,R por0,N:por0,N,L cpohv,N:cpohv,0,L
porr~,0:porr~,0,R por0,J:por0,J,L cpohv,:cpoh,,R
porr~,:porr~,,R por0,-:por0,-,L
porr~,-:porrz,-,R por0,:por0,,L por4,0:por00,N,R
porrz,J:porrz,J,R por0,1:por0,1,L por00,J:por00,J,R
porrz,N:porrz,N,R por0,0:por0,0,L por00,N:por00,N,R
porrz,1:porrz,1,R por0,=:por3,=,L por00,1:por00,1,R
porrz,0:porrz,0,R por3,1:por3,1,L por00,0:por00,0,R
porrz,:por,,L por3,0:por3,0,L por00,=:pr00~,=,R
por22,0:porrh,N,R por3,J:por4,J,R pr00~,J:pr00~,J,R
porrh,=:porr1,=,R por3,N:por4,N,R pr00~,N:pr00~,N,R
porrh,1:porrh,1,R por3,:por4,,R pr00~,1:pr00~,1,R
porrh,0:porrh,0,R por4,1:por10,J,R pr00~,0:pr00~,0,R
porr1,:porr1,,R por10,1:por10,1,R pr00~,:pr00~,,R
porr1,1:porr1,1,R por10,0:por10,0,R pr00~,-:pr0~~,-,R
porr1,0:porr1,0,R por10,=:cproh,=,R pr0~~,J:pr0~~,J,R
porr1,-:porr2,-,R cproh,1:cproh,1,R pr0~~,N:pr0~~,N,R
porr2,1:porr2,1,R cproh,0:cproh,0,R pr0~~,1:pr0~~,1,R
porr2,0:porr2,0,R cproh,:cproh,,R pr0~~,0:pr0~~,0,R
porr2,J:porr2,J,R cproh,-:cpohz,-,R pr0~~,:por,,L
 inc2,:inc2,,L cik11,0:cik11,0,L
poreq,J:poreq,J,R inc2,-:inc3,-,S cik11,:cik1r,1,L
poreq,N:poreq,N,R ninc,:ninc,,L cikl2,1:cikl2,1,R
poreq,:eq1,,L ninc,1:ninc,,L cikl2,0:cikl2,0,R
eq1,J:eq1,1,L ninc,0:ninc,,L cikl2,):cikl2,),R
eq1,N:eq1,0,L ninc,-:inc3,-,S cikl2,A:cikl2,A,R
eq1,-:eq2,-,L inc3,-:inc3,-,L cikl2,S:cikl2,S,R
eq2,:eq2,,L inc3,:inc3,,L cikl2,:cikl2,,R
eq2,1:eq2,1,L inc3,):inc4,),L cikl2,-:cik21,-,L
eq2,0:eq2,0,L inc4,A:inc4,A,L cik21,1:cik21,1,L
eq2,=:eq3,=,L inc4,S:inc4,S,L cik21,0:cik21,0,L
eq3,J:eq3,J,L inc4,:cinc,,R cik21,:cik1r,0,L
eq3,N:eq3,N,L cinc,A:cinc,1,R cik1r,:cik1r,,L
eq3,:eq4,,R cinc,S:cinc,0,R cik1r,=:cik1r,=,L
eq4,J:eq4,,R cinc,):cinc1,),R cik1r,):inc4,),L
eq4,N:eq4,,R cinc1,:cinc1,,R inc3,=:inc3,=,L
eq4,=:eq5,=,R cinc1,1:cinc1,1,R cikl2,=:cikl2,=,R
eq5,1:eq5,,R cinc1,0:cinc1,0,R st,0:st,0,R
eq5,:eq5,,R cinc1,=:cinc1,=,R st,:st,,R
eq5,0:eq5,,R cinc1,-:cinc1,-,R st,p=:st1,p=,R
eq5,-:eq6,-,R cinc1,(:cinc2,(,R st1,\:st1,\,R
eq6,1:princ,,R cinc2,1:cinc2,1,R st1,:st2,=,L
princ,1:ninc,,R cinc2,0:cinc2,0,R st2,|:st2,|,L
princ,0:ninc,,R cinc2,:setp2,,L st2,\:st3,|,R
princ,:yinc,,S st3,|:st3,|,R
yinc,:yinc,,R inc4,1:cikl1,A,R st3,=:st4,=,R
yinc,(:yinc,(,R inc4,0:cikl2,S,R st4,\:st4,\,R
yinc,1:yinc,1,R cikl1,1:cikl1,1,R st4,:st5,\,L
yinc,0:yinc,0,R cikl1,0:cikl1,0,R st5,\:st5,\,L
yinc,p=:inc1,p=,R cikl1,A:cikl1,A,R st5,=:st2,=,L
inc1,\:inc1,\,R cikl1,S:cikl1,S,R st2,p=:st7,p=,R
inc1,:inc2,\,L cikl1,):cikl1,),R st7,|:st7,,R
inc2,\:inc2,\,L cikl1,:cikl1,,R st7,=:st7,=,R
inc2,p=:inc2,p=,L cikl1,=:cikl1,=,R st7,\:st7,\,R
inc2,1:inc2,1,L cikl2,=:cikl2,=,R st7,:st8,,L
inc2,0:inc2,0,L cikl1,-:cik11,-,L st8,]:st8,],L
inc2,(:inc2,(,L cik11,1:cik11,1,L st8,\:st9,],L
st9,]:st9,],L j2,0:j2,0,L j8,:jr,0,R
st9,=:st11,=,L j2,p=:j3,p=,R j7,|:jr,1,R
st11,0:st11,0,L j3,1:j3,1,R j7,Z:jr,1,R
st11,1:st11,1,L j3,0:j3,0,R j8,|:jr,0,R
st11,:st12,1,R j3,=:!,,S j8,Z:jr,0,R
st9,\:st8,\,L j2,:j4,,R jr,:jr,,R
st8,=:st10,=,L j4,1:j5,|,L jr,|:jr,|,R
st10,0:st10,0,L j4,0:j6,Z,L jr,Z:jr,Z,R
st10,1:st10,1,L j4,:j4,,R jr,1:j4,1,S
st10,:st12,0,R j6,:j6,,L jr,0:j4,0,S
st12,1:st12,1,R j6,|:j6,|,L jr,=:j9,,L
st12,0:st12,0,R j6,Z:j6,Z,L j4,|:j4,|,R
st12,=:st13,=,R j5,|:j5,|,L j4,Z:j4,Z,R
st13,]:st13,],R j5,Z:j5,Z,L j4,=:j9,,L
st13,:j1,,L j5,:j5,,L j9,1:j9,1,L
st13,\:st14,\,R j5,1:j7,1,R j9,0:j9,0,L
st14,\:st14,\,R j5,0:j7,0,R j9,|:j9,,L
st14,]:st14,],R j5,p=:j7,p=,R j9,Z:j9,,L
st14,:st8,,L j6,1:j8,1,R j9,:j9,,L
j1,]:j1,,L j6,0:j8,0,R j9,p=:!,p=,S
j1,=:j2,=,L j6,p=:j8,p=,R
j2,1:j2,1,L j7,:jr,1,R
 Табличний спосіб задання машини Тьюрінга
У таблиці описаний алгоритм порівняння двох двійкових чисел.

Символ/С qretp pr sr sr1 th cth cth1 cth2 cpth

тан

1 T>pr thST cth1<1 cpth>1

0 Y>pr thSY cth1<0 cpth>0
= =>sr сth2<= cpth1=
>
- ->sr1
T cth<1 cth<1 cth2<1
Y cth<0 cth<0 cth2<0
_ сrav_< cth<_ сth1<_ cpth_>
^
*

cpth1 cpth pth pth1 pth1 ptho pth13 pth1r pth2r pth4r
2 1 1 0 1
cpth1> cpth pth pth1 pth1 pth1r pth1r pth4r pth4r
1 2>1 11 1<1 0<1 *> >1 >1 >1
<^
cpth1> cpth pth pth1 pth1 pth1r pth1r pth4r pth4r
0 2>1 10 1<1 0<0 *> >0 >0 >0
<*

pth1 pth13 pth2r pth2r

3S- S< S- >-
cpth1> pth1 pth13 pth1r
_ <_ _< >_
ptho pth13 pth1r pth4r pth1
1<^ <^ >^ ^< ^<
ptho pth13 pth1r pth4r pth1
1<* <* >* *< *<
Приклади роботи програми:
1.
2.

3.
4.
5.