更改

下面我们形式的引入有理数域上的算术表达式，因为此时我们可以存在算法判定如下的纯语法式构造什么时候会出现除零错误。

下面我们形式的引入有理数域上的算术表达式，因为此时我们可以存在算法判定如下的纯语法式构造什么时候会出现除零错误。

有理数域<math>\mathbb{Q}</math>上的算术表达式是指有如下产生式规则生成的符号串

有理数域<math>\mathbb{Q}</math>上的算术表达式是指由如下[[产生式规则]]生成的符号串

* <math>a \longleftarrow x</math>

* <math>a \longleftarrow x</math>

* <math>a \longleftarrow ( a + a )</math>

* <math>a \longleftarrow ( a + a )</math>