turing204.087.0318.0224.0471.0276.0539.082.0327.0333.055.0239.0172.0305.0010R550R4400L3300L3311L441L24L1211R30R2211R551R1100R051R56R460S2301LExample 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.010.0Note: To display output, JFLAP
requires a final state ...21.0339.0Loop to eat a 0 in operand1
and replace corresponding
0 in operand2 with a 1 ...320.0109.0No more 0s in
operand2 ...420.0317.0No more 0s in
operand1 ...139.0176.0