turing 204.0 87.0 318.0 224.0 471.0 276.0 539.0 82.0 327.0 333.0 55.0 239.0 172.0 305.0 0 1 0 R 5 5 0 R 4 4 0 0 L 3 3 0 0 L 3 3 1 1 L 4 4 1 L 2 4 L 1 2 1 1 R 3 0 R 2 2 1 1 R 5 5 1 R 1 1 0 0 R 0 5 1 R 5 6 R 4 6 0 S 2 3 0 1 L Example 8.4, pp. 331-334 [3/e] TM as a transducer for monus (or proper subtraction) function Note: monus(m,n) = max(m-n,0) 7.0 10.0 Note: To display output, JFLAP requires a final state ... 21.0 339.0 Loop to eat a 0 in operand1 and replace corresponding 0 in operand2 with a 1 ... 320.0 109.0 No more 0s in operand2 ... 420.0 317.0 No more 0s in operand1 ... 139.0 176.0