A -> a B C a
B -> C
C -> c
C -> 0