S -> u B D z
B -> B v
B -> w
D -> E F
E -> y
E -> 0
F -> x
F -> 0