S -> A
S -> AS
S -> BS
A -> a
B -> b
