规则名称:(x,f,y)

　　规则定义：x为规则定义域，定义域为时钟步t，t=(时钟步0，时钟步1，时钟步2，时钟步3到时钟max)。

　　规则设计为 f(t) = 1 - 10^(-t)(解释，这里规则里的1，10和次方运算可以存在?因为我们在定义域里的元信息里面定义的时间步单位，其实在设计规则的时候，传统数学的概念要全部重新设计，这个省略了，要讨论的话另外再详细讨论)

　　输入: t(其中 t 对应 t时钟步)

　　输出: y

　　计算过程: 对于每个 x，规则 f 动态计算输出 y。由于新数学强调逐步执行，我们只关心有限步内的输出，避免“实无穷”问题。

　　根据函数 f(t)=1 - 10^(-t);

　　t时钟步0时，正确输出值应为：

　　当 t=0， y=0 → 事件 (0,f,0) , 事实上 y=0 是不全的，应该是y=(时间0，值0)，如果时间0后面用不到，那可以简略为y=0。

　　当 t=1， y=0.9 → 事件 (1,f,0.9) , 事实上 y=0.9 是不全的，应该是y=(时间1，值0.9)，如果时间1后面用不到，那可以简略为y=0.9。

　　当 t=2， y=0.99→ 事件 (2,f,0.99) ,

　　当 t=3， y=0.999→ 事件 (3,f,0.999) ,

　　当 t=4， y=0.9999→ 事件 (4,f,0.999) ,

　　以此类推，对于更大的 t，y 会接近 1，直到max，但不会等于 1。

　　一个更“原生”的新数学规则设想

　　为了更彻底地脱离 CMS，我们可以设想如何将规则 f(t) = 1 - 10^(-t) “翻译”成更原始的 NMS 操作。

　　假设我们在 NMS 中已经原生地定义了：

　　后继操作(像皮亚诺公理)

　　加法、乘法 作为基于时钟步的有限过程。

　　十进制位置系统 作为一个构造规则。

　　那么，规则 f(t) 可以被定义为：

　　规则名称: (t, f, y)

　　规则定义:

　　初始化：在 t=0，设置一个字符串 s = "0."

　　对于时钟步 t >= 1：

　　在字符串 s 的末尾追加一个字符 "9"。

　　输出 y 就是当前时钟步下字符串 s 所代表的数值。

　　在这个定义下：

　　t=0: s = "0." -> y = 0

　　t=1: s = "0.9" -> y = 0.9

　　t=2: s = "0.99" -> y = 0.99

　　...

　　这个规则 没有使用 1, 10, ^ 这些来自 CMS 的“黑箱”符号。它完全通过 NMS 内部的、动态的、有限的操作(字符串操作)来实现完全相同的行为。这里的 y 不是一个在 CMS 意义下“逼近1”的数，它就是一个在不断发展变化的字符串所对应的值。

[/list]