第九源言情小说网·移动版
“现在，我先教给你第一课。这个或许是你在陷入幻术后，绝地反击的手段。”向山指了指手柄：“现在，转动他。”
尤基依言转动。钢钎在齿轮的带动下不断的落下。其中一些被铁皮挡住，一些则穿过铁坡上的孔，将动能传递到下面的齿轮上。铁皮则随着齿轮的运动而向内移动。
向山盯着裸露的机械，观察他的运转。
“叮”的一声。尤基有些不可思议。
“卡住了，向山……”
“很好。”向山点了点头：“世界没有消失，机器没有消失——这是个好现象，孩子。这说明，我是真的，你也是真的。我们并非位于一个模拟器内。”
“记好这个。这个叫做‘图灵停机’，是斩破幻觉的剑。”
图灵停机问题，就是判断任意一个程序是否能在有限的时间之内结束运行的问题。该问题等价于如下的判定问题：是否存在一个程序p，对于任意输入的程序w，能够判断w会在有限时间内结束或者死循环。
这个问题可以简单的表述成“一个图灵机是否可以简单的判定另一个图灵机应该停机”。
内容未完，下一页继续阅读
尤基依言转动。钢钎在齿轮的带动下不断的落下。其中一些被铁皮挡住，一些则穿过铁坡上的孔，将动能传递到下面的齿轮上。铁皮则随着齿轮的运动而向内移动。
向山盯着裸露的机械，观察他的运转。
“叮”的一声。尤基有些不可思议。
“卡住了，向山……”
“很好。”向山点了点头：“世界没有消失，机器没有消失——这是个好现象，孩子。这说明，我是真的，你也是真的。我们并非位于一个模拟器内。”
“记好这个。这个叫做‘图灵停机’，是斩破幻觉的剑。”
图灵停机问题，就是判断任意一个程序是否能在有限的时间之内结束运行的问题。该问题等价于如下的判定问题：是否存在一个程序p，对于任意输入的程序w，能够判断w会在有限时间内结束或者死循环。
这个问题可以简单的表述成“一个图灵机是否可以简单的判定另一个图灵机应该停机”。
内容未完，下一页继续阅读