Variations on Turing Machines

Simulating a 2-track tape with a standard Turing machine

The Turing machine that adds binary numbers allows pairs of bits as input symbols. Another way to look at this example is as a machine with a $2$-track tape. See the tape in the diagram below.