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

Question

这是小程序LogiCell 1.0的屏幕截图，我在这里找到了链接。

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

我无法将显示的内容与输入和输出相关联。例如在这种情况下 - 查看快照，您如何确定输入是0和1并且输出是01？

Answer 1

从文档中：

一个食客管理输出。仅当食者吸收滑翔机时，才会激活红色显示的单元格。这个单元格是输出。

但请注意，这是您必须测量的瞬态情况，具有一定的周期性。如果您在设置该方块后继续运行自动机，则食客被设计为恢复其原始形式。从PDF：

为了设计高效的电路，我们需要以某种方式阻止滑翔机流，以​​防止滑翔机“污染”计算空间。有紧凑稳定的模式，称为吃滑翔机，然后恢复到原来的形式。

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

加法是根据布尔运算定义的：

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 时，滑翔机流在到达食者之前就停止了。

至于如何设置输入，实际上取决于输入结构中单个方块是打开还是关闭。您可以通过单击输入（例如 A）然后单击“确定”，然后再次单击它来自己查看：