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