Design a double-tape TM (as a transducer) that subtracts 2 given unary numbers x and y (separated by a 0), and writes the result to tape 2. You can assume the x > y >= 1.
Example:
Input is on tape 1: 111110111 (5-3), tape 2 is initially empty.
The output is on tape 2 (tape 1's content doesn't matter): 11 (2)
Insert a screenshot of your design.
This question will be graded as "all-or-nothing":
if logic correct but no output;
if the machine is totally wrong.
Please make sure your machine is the correct type and is runnable, or you will get a zero for this question!
