首页 > 其他 > 详细

停机问题

时间:2015-02-01 20:21:20      阅读:232      评论:0      收藏:0      [点我收藏+]
  1. 通俗的说,停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。
  2. 如果这个问题可以在有限的时间之内解决,可以有一个程序判断其本身是否会停机并做出相反的行为。这时候显然不管停机问题的结果是什么都不会符合要求。所以这是一个不可解的问题。
  3. 停机问题本质是一阶逻辑的不自恰性和不完备性。类似的命题有理发师悖论全能悖论等。

停机问题

原文:http://www.cnblogs.com/dmdj/p/4265943.html

(0)
(0)
   
举报
评论 一句话评论(0
关于我们 - 联系我们 - 留言反馈 - 联系我们:wmxa8@hotmail.com
© 2014 bubuko.com 版权所有
打开技术之扣,分享程序人生!