Language agnostic 如何使用这台图灵机?

Language agnostic 如何使用这台图灵机?,language-agnostic,boolean-logic,turing-complete,cellular-automata,Language Agnostic,Boolean Logic,Turing Complete,Cellular Automata,这是小程序的屏幕截图,我找到了链接 如左下角所示,这是执行sum0+1,结果是01b(右下角) 我无法将显示的内容与输入和输出的内容联系起来。例如,在本例中-查看快照时,如何确定输入是0和1,输出是01?来自: eater管理输出。只有当食客吸收了滑翔机时,显示的红色单元格才会被激活。此单元格是输出 但请注意,这是一个暂时的情况,你必须测量,有一定的周期性。如果在设置正方形后继续运行自动机,则食客将返回其原始形式。从PDF: 为了设计高效的电路,我们需要以某种方式阻止滑翔机的流动,以防止滑翔

这是小程序的屏幕截图,我找到了链接

如左下角所示,这是执行sum
0+1
,结果是
01b
(右下角)

我无法将显示的内容与输入和输出的内容联系起来。例如,在本例中-查看快照时,如何确定输入是
0
1
,输出是
01

来自:

eater管理输出。只有当食客吸收了滑翔机时,显示的红色单元格才会被激活。此单元格是输出

但请注意,这是一个暂时的情况,你必须测量,有一定的周期性。如果在设置正方形后继续运行自动机,则食客将返回其原始形式。从PDF:

为了设计高效的电路,我们需要以某种方式阻止滑翔机的流动,以防止滑翔机“污染”计算空间。有一种紧凑的稳定模式,称为食者,它们消耗滑翔机,然后恢复到原来的状态

因为我们有两个输出位(MSB和LSB),所以我突出显示了它们的“eater/”输出:

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

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时,相应的eater消耗一个glider——当比特数为0时,glider流在到达eater之前停止

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

术语注释:文档中有“图灵机器”的字样。它使用康威生命游戏中的某些结构来实现一些数学运算,声称它可以实现图灵机器可以完成的任何计算。但这是“图灵完全”——能够“通用计算”。不管一些法国人怎么说:P,它不是a,除非有一维磁带和状态转换图……磁带头一次只能检查一个符号,并向左或向右移动一个磁带方块!