19
个编辑
更改
跳到导航
跳到搜索
第13行：
第13行： + + + + + + + + + + + + +
→表达式的估值
其中 <math>x \in \mathbb{Q}</math>，我们称此时有 <math>a \in \mathbb{E} \left [\mathbb{Q} \right ]</math>。
其中 <math>x \in \mathbb{Q}</math>，我们称此时有 <math>a \in \mathbb{E} \left [\mathbb{Q} \right ]</math>。
== 字串表示与语法树表示 ==
在上述生成过程中，我们可以得到一个算术表达式的字串表示或者树表示，两种表示是等价的。例如：
<math style="text-align:center;">
(((((1 \times 2) \times 2) - 1) \times (2 + 1)) - 6)\label{eq:equation}
</math>
相应的语法树如下：
[[File:syntax-tree.png|300px|center]]
== 表达式的估值 ==
== 表达式的估值 ==