S -> B A
A -> + B A
A -> _
B -> D C
C -> * D C
C -> _
D -> ( S )
D -> a
D -> b