dfa v1.0 starting reading input finished. start state q0 states:q0 q1 q2 q3 q4 final states:q2 q4 trace states:No states to trace Sorted transition table: q0 0 q3 q0 1 q1 q1 0 q1 q1 1 q2 q2 0 q2 q2 1 q2 q3 0 q4 q3 1 q3 q4 0 q4 q4 1 q4 tape = 0110 tape accepted after 5 steps, at q4 tape = 10100111 tape accepted after 9 steps, at q2 tape = 0111 tape rejected after 5 steps, at q3 tape = 1000 tape rejected after 5 steps, at q1 No more input tapes. Stopping.