A turing machine that computes double an integer written in unary

Transition table:

<0, ,1, ,R>
<1,1,1,2,R>
<1, ,2,1,L>
<2,1,2,1,L>
<2,2,3,1,R>
<3,1,3,1,R>
<3, ,2,1,L>
<2, ,h, ,S>
 - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Yp:s/</<live:/
:s/<live:h>/<h>/
:s/<live:c:/<c:/
:s/>$/> /
:s/<live:0> / <run:1>/
:s/<live:1>1/2<run:1>/
:s/<live:1> /<left:2> /
:s/<live:2>1/<left:2>1/
:s/<live:2>2/1<run:3>/
:s/<live:3>1/1<run:3>/
:s/<live:3> /<left:2>1/
:s/<live:2> /<run:h> /
:s/ <left:2>/<run:2> /
:s/1<left:2>/<run:2>1/
:s/2<left:2>/<run:2>2/
:s/<live:/<c:/
:s/ $//
:s/ $//
:s/<run:/</
h
 - - - - - - - - - - - - - - - - - - - - - - - - - - - -