Turing machine binary adder example