嗨，我一直在学习一些基本的解析教程，我已经能够理解CFG和解析树的基础知识。
对基本方程采取以下语法：
term
: INTEGER
| '(' expression ')'
;
mult
: term ('*' term)*
;
add
: mult ('+' mult)*
;
expression
: add
;
我想知道的是它如何帮助我们解方程？所有的教程都以制作解析树或编写解析器（如预测解析器）结束，但所有解析器检查的是该表达式是否符合语法但它不评估它。
任何人都可以帮助我吗？