a b c
[ab]+
a b c
q0
IO
M