S -> aS | B

B -> bB | b