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