The state "start" reads the current symbol of the upper number. The states "00/01" and "10/11" read the current symbol of the lower number, write the result and move the read/write-head back to the next digit on the upper number.