Turing Machine binary adder