Binary Addition Turing Machine