; machine starts at state 0.
0 ⊢ ⊢ r add
0 * * r halt-reject
;
add 0 ⊢ r add
add 1 ⊢ r right1
add , , r halt-accept
add * * r halt-reject
;
right1 0 0 r right1
right1 1 1 r right1
right1 , , r right2
right1 * * r halt-reject
;
right2 0 0 r right2
right2 1 1 r right2
right2 2 2 r right2
right2 _ _ l inc
right2 * * r halt-reject
;
inc 0 1 l left
inc 1 2 l left
inc 2 0 l inc
inc , , r overflow
inc * * r halt-reject
;
overflow 0 1 r zeros
overflow _ 1 r left
overflow * * r halt-reject
;
zeros 0 0 r zeros
zeros _ 0 r left
zeros * * r halt-reject
;
left ⊢ ⊢ r add
left * * l left
;
halt-accept * * r halt-accept
;
halt-reject * * r halt-reject