tm v1.0 starting reading input finished. start state q0 states:q0 q1 q2 q3 q4 q5 q6 final states:q6 trace states:q0 q1 q2 q3 q4 q5 q6 Sorted transition table: q0 Y q4 Y R q0 a q1 X R q1 Y q1 Y R q1 a q1 a R q1 b q2 Y R q2 Z q2 Z R q2 b q2 b R q2 c q3 Z L q3 X q0 X R q3 Y q3 Y L q3 Z q3 Z L q3 a q3 a L q3 b q3 b L q4 Y q4 Y R q4 Z q5 Z R q5 #] q6 ## N q5 Z q5 Z R q6 #] q6 ## N tape = abc step 1 q0 a at pos 1 tape=abc ^ transition to state=q1 write=X move=R step 2 q1 b at pos 2 tape=Xbc ^ transition to state=q2 write=Y move=R step 3 q2 c at pos 3 tape=XYc ^ transition to state=q3 write=Z move=L step 4 q3 Y at pos 2 tape=XYZ ^ transition to state=q3 write=Y move=L step 5 q3 X at pos 1 tape=XYZ ^ transition to state=q0 write=X move=R step 6 q0 Y at pos 2 tape=XYZ ^ transition to state=q4 write=Y move=R step 7 q4 Z at pos 3 tape=XYZ ^ transition to state=q5 write=Z move=R step 8 q5 #] at pos 4 tape=XYZ ^ transition to state=q6 write=## move=N step 9 q6 #] at pos 4 tape=XYZ ^ tape accepted after 9 steps, at q6 tape = aabbcc step 1 q0 a at pos 1 tape=aabbcc ^ transition to state=q1 write=X move=R step 2 q1 a at pos 2 tape=Xabbcc ^ transition to state=q1 write=a move=R step 3 q1 b at pos 3 tape=Xabbcc ^ transition to state=q2 write=Y move=R step 4 q2 b at pos 4 tape=XaYbcc ^ transition to state=q2 write=b move=R step 5 q2 c at pos 5 tape=XaYbcc ^ transition to state=q3 write=Z move=L step 6 q3 b at pos 4 tape=XaYbZc ^ transition to state=q3 write=b move=L step 7 q3 Y at pos 3 tape=XaYbZc ^ transition to state=q3 write=Y move=L step 8 q3 a at pos 2 tape=XaYbZc ^ transition to state=q3 write=a move=L step 9 q3 X at pos 1 tape=XaYbZc ^ transition to state=q0 write=X move=R step 10 q0 a at pos 2 tape=XaYbZc ^ transition to state=q1 write=X move=R step 11 q1 Y at pos 3 tape=XXYbZc ^ transition to state=q1 write=Y move=R step 12 q1 b at pos 4 tape=XXYbZc ^ transition to state=q2 write=Y move=R step 13 q2 Z at pos 5 tape=XXYYZc ^ transition to state=q2 write=Z move=R step 14 q2 c at pos 6 tape=XXYYZc ^ transition to state=q3 write=Z move=L step 15 q3 Z at pos 5 tape=XXYYZZ ^ transition to state=q3 write=Z move=L step 16 q3 Y at pos 4 tape=XXYYZZ ^ transition to state=q3 write=Y move=L step 17 q3 Y at pos 3 tape=XXYYZZ ^ transition to state=q3 write=Y move=L step 18 q3 X at pos 2 tape=XXYYZZ ^ transition to state=q0 write=X move=R step 19 q0 Y at pos 3 tape=XXYYZZ ^ transition to state=q4 write=Y move=R step 20 q4 Y at pos 4 tape=XXYYZZ ^ transition to state=q4 write=Y move=R step 21 q4 Z at pos 5 tape=XXYYZZ ^ transition to state=q5 write=Z move=R step 22 q5 Z at pos 6 tape=XXYYZZ ^ transition to state=q5 write=Z move=R step 23 q5 #] at pos 7 tape=XXYYZZ ^ transition to state=q6 write=## move=N step 24 q6 #] at pos 7 tape=XXYYZZ ^ tape accepted after 24 steps, at q6 tape = aabc step 1 q0 a at pos 1 tape=aabc ^ transition to state=q1 write=X move=R step 2 q1 a at pos 2 tape=Xabc ^ transition to state=q1 write=a move=R step 3 q1 b at pos 3 tape=Xabc ^ transition to state=q2 write=Y move=R step 4 q2 c at pos 4 tape=XaYc ^ transition to state=q3 write=Z move=L step 5 q3 Y at pos 3 tape=XaYZ ^ transition to state=q3 write=Y move=L step 6 q3 a at pos 2 tape=XaYZ ^ transition to state=q3 write=a move=L step 7 q3 X at pos 1 tape=XaYZ ^ transition to state=q0 write=X move=R step 8 q0 a at pos 2 tape=XaYZ ^ transition to state=q1 write=X move=R step 9 q1 Y at pos 3 tape=XXYZ ^ transition to state=q1 write=Y move=R step 10 q1 Z at pos 4 tape=XXYZ ^ No next transition, quitting now tape rejected after 10 steps, at q1 No more input tapes. Stopping.