Help for this page
expr: expr '+' term | term
A : A x | y
A : y R R : x R | e
expr : term expr_tail expr_tail : '+' term expr_tail | {1}