exp->term exp'
term->factor term'
factor->3
term'->mulop factor term'
mulop->*
factor->(exp)
exp->term exp'
term->factor term'
factor->4
term'->ξ
exp'->addop term exp'
addop->-
term->factor term'
factor->5
term'->ξ
exp'->addop term exp'
addop->+
term->factor term'
factor->6
term'->ξ
exp'->ξ
exp'->ξ
term->ξ
exp'->ξ