q0 a q0
q0 b q1
q1 a q0
q1 b q2
q2 a q0
q2 b q1
q1 . qf