Main = <s> String.
A : B | E common <a> X.
B = <x>X <X>X .
C : G | B common <y> D <z> B D.
E = D F D.
G = <a> A <b> B.
Q : B | C | E.
X = .