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

Question

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

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

我无法将显示内容链接到输入和输出内容。例如，在本例中 - 查看快照，您如何确定输入是 0 和 1 并且输出是 01？ p>

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.

但请注意，这是一种短暂的情况，您必须以一定的周期进行测量。如果您在设置该方 block 后继续运行自动机，则吞食者将返回其原始形状。来自 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)，我突出显示了它们的“eaters”/输出:

加法是根据 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 时，相应的吃者会消耗滑翔机 - 当它们应该为 0 时，滑翔机流会在到达吃者之前停止。

至于如何设置输入，实际上取决于输入构造中单个方 block 是打开还是关闭。您可以通过单击输入(例如 A)然后单击“确定”，然后再次单击来自行查看: