Macchina di Turing - Divisione tra due numeri qualunque con resto

n:m= e lascia quoziente e resto così q:r

(kk,^-,kk,^-, (kk,-,arancia,$,>)

(arancia,^:a..j,arancia,^:a..j,>)
(arancia,:a..j,copy,:a..j,

(copy,[0..9],paste[0..9],[a..j], (copy,$,traduci0,$,>)

(paste[0..9],^-,paste[0..9],^-, (paste[0..9],-,arancia,[0..9],>)

(traduci0,a..j0..9:=,traduci0,0..90..9:=,>)
(traduci0,-,parita,-,

(parita,^=,parita,^=, (parita,=,parit,=,

(parit,a..j,parit,a..j, (parit,:,stasum,:,

(parit,[0..9],psott[0..9],[a..j], (psott[0..9],^:,psott[0..9],^:, (psott[0..9],:,sott[0..9],:,

(sott[0..9],a..j,sott[0..9],a..j,

(sott0,0..9,to=,a..j,>)
(sott1,1..9,to=,a..i,>)
(sott2,2..9,to=,a..h,>)
(sott3,3..9,to=,a..g,>)
(sott4,4..9,to=,a..f,>)
(sott5,5..9,to=,a..e,>)
(sott6,6..9,to=,a..d,>)
(sott7,7..9,to=,a..c,>)
(sott8,8..9,to=,a..b,>)
(sott9,9..9,to=,a..a,>)
(sott1,0..0,rip,j..j, (sott2,0..1,rip,i..j, (sott3,0..2,rip,h..j, (sott4,0..3,rip,g..j, (sott5,0..4,rip,f..j, (sott6,0..5,rip,e..j, (sott7,0..6,rip,d..j, (sott8,0..7,rip,c..j, (sott9,0..8,rip,b..j,

(rip,1..9,to=,0..8,>)
(rip,0,rip,9,

(to=,^=,to=,^=,>)
(to=,=,parit,=,

(stasum,^-,stasum,^-, (stasum,-,sumo0,-,>)

(sumo0,^$,sumo0,-,>)
(sumo0,$,sumo1,-,>)
(sumo1,0a,sumo1,--,>)
(sumo1,:,sx0,:, (sumo1,1..9b..j,sumo2,1..91..9,>)
(sumo2,0..9a..j:=,sumo2,0..90..9:=,>)
(sumo2,-,realsumo,-,

(sx0,-,sumo2,0,>)

(realsumo,=,transus1,=,>)
(realsumo,0..8,tata0,1..9, (realsumo,9,realsumo,0,

(transus[0..9],{0..9},transus{0..9},[0..9],>)
(transus[0..9],-,tata0,[0..9],

(tata0,^-,tata0,^-, (tata0,-,kk,-,>)

(sott[0..9],$,trasp:,$,

(rip,$,trasp:,$,

(trasp[:0..9],^-,trasp[:0..9],^-, (trasp[:0..9],-,totake,[:0..9],>)

(totake,^-,totake,^-,>)
(totake,-,take,-,

(take,[0..9],trasp[0..9],-, (take,=,fine,-,

(fine,^$-,fine,-, (fine,$,finee,-,>)