Question

我们要介绍的最后一个简单通用系统甚至比 rule 110 还简单：Wolfram 的 2,3 图灵机。它的名字源于其两个状态和三个字符（a、b 和空格），这意味着它只有 6 个规则：

这台图灵机与众不同，因为它没有接受状态，因此它从来不会停机，但这主要是一个技术细节。我们仍然可以通过观察特定的行为来得到不停机机器的结果（例如，纸带上一个特定模式字符的出现），并据以认为当前纸带含有有用的输出。

Wolfram 的 2,3 图灵机看起来没有强大到能支持通用计算。2007 年，Wolfram Research 宣布将给予能证明它是通用的人 25 000 美元的奖励。那年下半年，Alex Smith 通过成功的证明拿到了这个奖。就像对 rule 110 一样，这个证明靠的是展示出这种机器可以模拟任何循环 标签系统。这个证明还是非常详细的，在http://www.wolframscience.com/prizes/tm23/ 可以 看到全文。