Macchina di Turing - Moltiplicazione tra due numeri qualunque

Inizio e transizioni

a*b

(kk,^-,kk,^-,

(kk,-,carta,$,

(carta,-,tinta,0,>)

Stati intermedi e azioni

(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,