tm v1.0 starting reading input finished. start state s0 states:s0 s1 s2 s9 final states:s9 trace states:No states to trace Sorted transition table: s0 #b s1 0 R s0 0 s0 ## R s1 #b s2 ## L s1 0 s1 ## R s2 0 s9 #b R tape = 000 00 tm halted after 9 steps, at s9 with output: 00000