Turing Machine

graph+table for +1 adder