A -> B ( A B ) | .
B -> A *( B A )* | .