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