q0
{ q1 q2 }
q0 a q1
q0 a q2
q1 b q2