expr: expr '+' term | term

##</code><code>##

A : A x | y

##</code><code>##

A : y R
R : x R | e

##</code><code>##

expr      :     term expr_tail
expr_tail : '+' term expr_tail | {1}