:States: q1 q2 q3 :Start State: q1 :Accept States: q3 :alphabet: a b :rules: q1 a q2 q1 b q3 q2 a q2 q2 b q3 q3 a q2 q3 b q3
b a b a b
a a b b a a b a