有些时候,一个数学问题证明过程当中产生的副产品,或许就能够引发出比问题本身还要意义重大的力量。
就以地球的历史为例。阿兰·图灵为了证明不可判定性定理,开发出了一种神奇的机器,图灵机。在当时的数学家看来,图灵机的意义并没有不可判定性定理那样大。它只不过是不可判定性定理的一个副产品。
但是,这个副产品最终却衍生出了后来的计算机,开启了信息时代。
这样的例子,还有很多。许多只是为了证明某个问题而被开发出来的数学工具,最后却衍生出了多更强大的作用。
元胞自动机与图灵机等价,这对於算君来说只不过是临时学一个对手擅长的玩意放个嘲讽,顺便让自己的理论变得更好理解的工具。
但是,图灵真人的一席话却启发了他。
“嘿嘿……这不正好是瞌睡了来枕头吗?”王崎翻来覆去的阅读这一篇论文,表情很是惊喜:“这不就是图灵机和元胞自动机之间的桥梁吗?”
元胞自动机这个系统,最具有特色的功能,就是它强大的模拟能力。对於很多复杂的东西,它都可以做出模仿。
行人流、气流、细胞群、天体……
只要设定的规则得当,元胞自动机就可以模拟一切。
而在加入一些有限的规则之后,它就可以变成以一个可以和图灵机等价的计算机器。
“我的修法最初的根基来自於冯氏架构,图灵机是这个架构的数学抽象。按照算君的这一篇论文,我就可以借助一些特殊的算器,将我的修法转化为一个元胞自动机形式的表达。”
“而无论是落尘剑宫的太初剑神阵还是圣帝尊的神道过度,都是集群产物加上功法的结果。我同样可以使用元胞自动机模拟。”
“这样子,就是两个规则不同的元胞自动机系统之间的交互……”
“如果是这样的话……”
王崎觉得,这个点子似乎可行。
真的可行!
他早在神京的时候,就用类似的方法,演算过人群。
冯落衣也曾经用过这个方法,向他演示过宇宙文明的终极图景。
元胞自动机是可以演算神道、人道的。
同样,它也有模拟功法的能力。虽然王崎没有试过,但是据他对元胞自动机和修法的了解,这同样在元胞自动机的能力范围之内。
换句话说,他现在面对的,就是一个以元胞自动机为运算环境的系统。
“这玩意,有点陌生啊……”想到这里,王崎开始思索如何用元胞自动机的角度去解析落尘剑宫的太初剑神阵。他的思维与太初剑神阵之内的网络连接在一处,借助这个剑宫大阵还有手上的几件高阶算器推演这里面的奥妙。
但是,他很快就发现,这玩意实在是太过陌生了。
虽说元胞自动机可以和图灵机等价,但是地球上并没有多少以元胞自动机为数学构架的计算机。别说元胞自动机,就连其他与图灵机等价的演算体系,比如说拉姆达演算、递归算法,都不是计算机的数学基础。
因为在地球,只有图灵机能够非常简单的转化成机械结构。
或许有一些非常冷门的生物细胞计算机、化学计算机在试图从元胞自动机上面找突破口,但是电子计算机始终都是冯诺依曼结构的图灵机。元胞自动机、拉姆达演算、递归算法都很难直接变成机械结构。
既然地球上不存在完全以那元胞自动机为基础结构的计算机,那么自然也就缺乏相关的编程技术了。
王崎可以在图灵机上裸机编程,可这不代表他能够用同样的手段对付元胞自动机。
原本他也不需要这样奇怪的技能。尽管这种编程技巧只需要在他原有的编程技巧上做出小小的改动。但是,那个“小小”有可能会花去他大大的时间。
他之所以会遇到这种情况,只是因为,这里是神州。
这里是允许巨大科技黑箱的神州宇宙。
这里,天然就存在一个以元胞自动机为基础结构的体系。
“必须克服这个陌生的环境……必须克服这个陌生的环境……”
王崎的思维在翻滚。当日,圣帝尊手中的神国幻景,在如今的王崎看来,也就是一些适应这个计算环境的算法而已。