Binary addition using a Turing machine