Macchina di Turing - Moltiplicazione tra due numeri qualunque

a*b

(kk,^-,kk,^-, (kk,-,carta,$,

(carta,-,tinta,0,>)

(tinta,^-,tinta,^-,>)
(tinta,-,macio,-,

(macio,1..9,canto,0..8, (macio,0,macio,9, (macio,*,pixel,*,>)

(pixel,^-,pixel,^-,>)
(pixel,-,del,-,

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

(canto,^*,canto,^*, (canto,*,sommami,*,

(tanto,^*,tanto,^*,>)
(tanto,*,sommami,*, (pixel,-,del,-,

(sommami,a..j,sommami,a..j, (sommami,[0..9],anice[0..9],[a..j], (sommami,$,trsx,$,

(trsx,^-,trsx,^-, (trsx,-,trans,-,>)

(trans,0..9a..j$*,trans,0..90..9$*,>)
(trans,-,macio,-,

(anice[0..9],^$,anice[0..9],^$, (anice[0..9],$,sommami[0..9],$, (pixel,-,del,-,

(sommami[0..9],a..j,sommami[0..9],a..j, (sommami0,-0..9,tanto,aa..j,>)
(sommami1,-0..8,tanto,bb..j,>)
(sommami2,-0..7,tanto,cc..j,>)
(sommami3,-0..6,tanto,dd..j,>)
(sommami4,-0..5,tanto,ee..j,>)
(sommami5,-0..4,tanto,ff..j,>)
(sommami6,-0..3,tanto,gg..j,>)
(sommami7,-0..2,tanto,hh..j,>)
(sommami8,-0..1,tanto,ii..j,>)
(sommami9,-0..0,tanto,jj..j,>)
(sommami1,9..9,lento,a..a, (sommami2,8..9,lento,a..b, (sommami3,7..9,lento,a..c, (sommami4,6..9,lento,a..d, (sommami5,5..9,lento,a..e, (sommami6,4..9,lento,a..f, (sommami7,3..9,lento,a..g, (sommami8,2..9,lento,a..h, (sommami9,1..9,lento,a..i, (pixel,-,del,-,

(lento,-0..8,tanto,11..9,>)
(lento,9,lento,0,