BAa -> AaB
aBB -> BaB
aAA -> AaA
aAB -> AaB
aBA -> AaB
a   -> .correct
\e  -> a