停机问题(英语:halting problem)是逻辑数学中可计算性理论的一个问题。通俗地说,停机问题就是判断任意一个程序是否能在有限的时间之内结束运行的问题。该问题等价于如下的判定问题:是否存在一个程序P,对于任意输入的程序w,能够判断w会在有限时间内结束或者死循环。
生活随笔
收集整理的這篇文章主要介紹了
停机问题(英语:halting problem)是逻辑数学中可计算性理论的一个问题。通俗地说,停机问题就是判断任意一个程序是否能在有限的时间之内结束运行的问题。该问题等价于如下的判定问题:是否存在一个程序P,对于任意输入的程序w,能够判断w会在有限时间内结束或者死循环。
小編覺得挺不錯的,現在分享給大家,幫大家做個參考.
htps://baike.baidu.com/item/停機問題/4131067?fr=aladdin
理發師悖論:村子里有個理發師,這個理發師有條原則是,對于村里所有人,當且僅當這個人不自己理發,理發師就給這個人理發。如果這個人自己理發,理發師就不給這個人理發。無法回答的問題是,理發師給自己理發么?
停機測試悖論:計算機里有個測試程序,這個測試程序的原則是,對于計算機里所有程序,當且僅當這個程序不遞歸調用自己(輸出停機),測試程序就調用它(對應不停機)。如果這個程序遞歸調用自己(對應不停機),測試程序就不調用它(對應停機)。無法回答的問題是,測試程序遞歸調用自己么?
總結
以上是生活随笔為你收集整理的停机问题(英语:halting problem)是逻辑数学中可计算性理论的一个问题。通俗地说,停机问题就是判断任意一个程序是否能在有限的时间之内结束运行的问题。该问题等价于如下的判定问题:是否存在一个程序P,对于任意输入的程序w,能够判断w会在有限时间内结束或者死循环。的全部內容,希望文章能夠幫你解決所遇到的問題。
- 上一篇: Linux加密框架 crypto 哈希算
- 下一篇: 3分钟入门python_3分钟带你了解世