Rem  BinPlusOne
Rem  Adds one to a number given on the tape in
Rem  expanded binary format

Turing
0,0;0,0,R
0,1;1,1,R
1,0;0,0,R
1,1;2,1,R
2,0;3,0,L
2,1;2,1,R
3,0;0,1,S
3,1;4,0,L
4,0;5,1,L
4,1;4,1,L
5,0;6,0,R
5,1;2,1,R
6,1;7,1,R
7,0;3,1,R
7,1;7,0,R

Tape
0001001011000000
Rem  The number encoded on the tape here is 5

End