S -> A B

A -> C
C -> D
D -> ''

B -> 'x'