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