S -> aS | bS | bA
A -> b | a




S -> Aa | Ab
A -> b | Bb
B -> a | b | Ba | Bb



   |  a    b
---------------
q0 |  q0   q1
q1 |  q2   q3
q2 |  q0   q1
q3 |  q2   q3