第242章 190约克公爵的邀请 (第3/8页)

控制读写头移动的规则表；

    ??“还有一个状态寄存器。

    ??“这四部分，一起组成了一个机器，我的思想实验就围绕这个机器而展开。”

    ??陈慕武在笔记本上画的这个奇怪的机器，就是原时空里大名鼎鼎的图灵机。

    ??按照以往的惯例，这个机器，以後就将会叫做“陈机”了。

    ??吧啦吧啦给云里雾里的冯·诺依曼讲了一大堆有关陈机运转的事情，到最後陈慕武才开始说他的结论。

    ??“这个读写头在受到规则表和输入端的控制，从而进行移动，不就刚好是希尔伯特教授设想当中的‘可行过程’麽？

    ??“而读写头在程序结束时，通过有限次移动，最终停留在空白格，这个过程，不也相当於是另一个‘有限次运算’了吗？

    ??“这样一来，希尔伯特教授的可决定性设想，也就转化成了‘是否存在这样一种陈机，使其能判定任意一个程序能否在有限时间内结束运行’了。”

    ??“没错，确实就是这样。”

    ??他刚讲解完陈机的构造，餐馆里的服务员刚好也把两客牛排给端上了桌。

    ??陈慕武顺势把笔帽旋紧，夹到笔记本中然後合上，接着做了个手势让了让冯·诺依曼。

    ??“请吧，约翰，我们吃完了再说。”

    ??匈牙利人心中此时就像读网文读到精彩之处时，作者却断更了一样难受。

    ??纵然面前摆着的是不太诱人的英国牛排，他也没有一点儿心情像身边的陈慕武那样挥动刀叉。

    ??他也不顾什麽礼节不礼节的了，直接把刚刚合上