Turing machines, create a deterministic Turing machine (transducer) that
does the following:
can be interpreted as a binary number.
most significant digit first, and increases this number by one.