dfa v1.0 starting
reading input finished.
start state q1
states:q1 q2 

final states:q2 

trace states:No states to trace
Sorted transition table:
q1	a	q1	
q1	b	q2	
q2	a	q1	
q2	b	q2	

tape = aabbaaabbbab
tape accepted after 13 steps, at q2

tape = b
tape accepted after 2 steps, at q2

tape = ab
tape accepted after 3 steps, at q2

tape = abb
tape accepted after 4 steps, at q2

tape = aab
tape accepted after 4 steps, at q2

tape = a
tape rejected after 2 steps, at q1

tape = ba
tape rejected after 3 steps, at q1

tape = abcb
No next transition, quitting now
tape rejected after 3 steps, at q2
 No more input tapes. Stopping.