Turing machine rule {{1,0} -> {2,1,R}, {2,_} -> {1,0,L}, {1,1} -> {1,0,L}}