language-agnostic - 如何使用这台图灵机？

Question

这是小程序的截图LogiCell 1.0 , 我找到的链接 here .



如左下角所示，这是做 sum 0+1结果是 01b (右下角)。

我无法将显示的内容与输入和输出的内容联系起来。例如在这种情况下 - 查看快照，您如何确定输入是 0和 1输出为 01 ?

Answer 1

来自 the documentation :

An eater manages the output. The red displayed cell only is activated if an eater absorbs a glider. This cell is the output.

但是请注意，这是您必须以一定的周期性进行测量的 transient 情况。如果在设置该方块后继续运行自动机，则食者将返回其原始形式。从PDF:

To design efficient circuits we need to somehow stop a stream of gliders to prevent the gliders from "polluting" the computational space. There are compact stable patterns, called eaters that consume gliders and then recovery back to their original form.

由于我们有两位输出(MSB 和 LSB)，因此我突出显示了它们的“食者”/输出:



加法是根据 bool 运算定义的:

A B | A+B
---------
0 0 | 0 0
1 0 | 0 1
0 1 | 0 1
1 1 | 1 0

MSB = A and B
LSB = (A or B) and (not (A and B))

您可以比 LSB 更快地计算 MSB，因此可以“更早”(更接近屏幕顶部)收集它是有道理的。只需观看模拟，就会看到当位应该为 1 时，相应的食者消耗滑翔机 - 当它们应该为零时，滑翔机流在到达食者之前就停止了。

至于如何设置输入，实际上归结为输入构造中单个方块是打开还是关闭。您可以通过单击输入(例如 A)然后确定，然后再次单击它来自己查看: