S -> B A b
A -> a A B C | b B
B -> b
C -> c A