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