停机问题

✍ dations ◷ 2025-06-28 15:22:17 #数理逻辑,计算理论,递归论,数学问题

停机问题(英语:halting problem)是逻辑数学中可计算性理论的一个问题。通俗地说,停机问题就是判断任意一个程序是否能在有限的时间之内结束运行的问题。该问题等价于如下的判定问题:是否存在一个程序P,对于任意输入的程序w,能够判断w会在有限时间内结束或者死循环。

艾伦·图灵在1936年用对角论证法证明了,不存在解决停机问题的通用算法。这个证明的关键在于对计算机和程序的数学定义,这被称为图灵机。停机问题在图灵机上是不可判定问题。这是最早提出的决定性问题之一。

用数学语言描述,则其本质问题为: 给定一个图灵机T,和一个任意语言集合S,是否T会最终停机于每一个 s S {\displaystyle s\in S} 。其意义相同于可确定语言。显然任意有限 S 是可判定性的,可数的(countable)S 也是可停机的。

停机问题包含了自我指涉,本质是一阶逻辑的不完备性,类似的命题有理发师悖论、全能悖论等。

假设停机问题有解,即:存在过程H(P, I)可以判断对于程序P在输入I的情况下是否可停机。假设P在输入I时可停机,H输出“停机”,反之输出“死循环”,即可导出矛盾:

显然,程序本身也是一种数据,因此它可以作为输入(例如Pascal的编译器本身就可以用Pascal所写成,所以程序在自己身上运行自己也是合理的),故H应该可以判定当将P作为P的输入时,P是否会停机。然后我们定义一个过程U(P),其流程如下:

伪代码及其注释表示如下:

int H(procedure,Input); // 这里的H函数有两种返回值,死循环(1) 或 停机(0)int U(P){    if (H(P,P) == 1){ // 如果H死循环        return 0; // 此时会停机    }else{ // 否則        while(1){} // 此时会死循环,而這是個空迴圈    }}

上面把H(P, P)包装在U(P)内,也就是用U()来模拟H()。H()的输出可能出现两种状况:

因此,H不是总能给出正确答案,故前述的假设不成立,不存在解决停机问题的方法。

理发师悖论:村子里有个理发师,这个理发师有条原则是,对于村子里所有人,当且仅当这个人不自己刮胡子,理发师就给这个人刮胡子。如果这个人自己刮胡子,理发师就不给这个人刮胡子。无法回答的问题是,理发师给自己刮胡子么?

停机测试悖论:计算机里面有个测试程序,这个测试程序的原则是,对于计算机里所有程序,当且仅当这个程序不递归调用自己(输出停机),测试程序就调用它(对应不停机)。如果这个程序递归调用自己(对应不停机),测试程序就不调用它(对应停机)。无法回答的问题是,测试程序递归调用自己么?

相关

  • 镜头镜头通常由一块或者多块光学玻璃组成的透镜组,一般由凹透镜、凸透镜,或其组合组成。现代照相机镜头还有采用非球面镜,非球面镜又有光学玻璃磨制非球面镜、复合非球面、塑料压制
  • 光绪光绪(满语:ᠪᠠᡩᠠᡵᠠᠩᡤᠠᡩᠣᡵᠣ,穆麟德:badarangga doro,太清:badarangga doro;蒙古语:.mw-parser-output .font-mong{font-family:"Menk Hawang Tig","Menk Qagan Tig","Men
  • 活化活化 (Activation),在化学/生化学中通常指使某物准备好或进入激发的状态,以利于进行后续化学反应的过程。化学上,活化是指一个分子可逆性地跃迁/过渡,成为更具有进行某特定化学
  • 宋孝宗子:女:宋孝宗赵眘(1127年11月27日-1194年6月28日、眘,“慎”异体字,shèn),南宋第二位皇帝(1162年7月24日—1189年2月18日在位),曾名伯琮、瑗、玮,字元瑰,一字元永,他是宋太祖之幼子赵德芳
  • 新右派新右派(英语:the New Right)与新左派都是一种社会运动,而新右派乃是相对于“老右派”而产生。其理论基础以弗里德里希·哈耶克、弗里德曼的思想为基本。新右派与新保守主义相同
  • 查尔斯·戴维·阿利斯查尔斯·戴维·阿利斯(英语:Charles David Allis,1951年年3月22日-),美国分子生物学家,他目前是洛克菲勒大学的Joy and Jack Fishman教授以及染色质生物学和表观遗传学实验室的主任
  • Adobe Flash PlayerMicrosoft Windows, macOS, Linux, Chrome OS 32.0.0.371(2020年5月12日,​17天前​(2020-05-12))Android 11.1.115.81 (4.0.x) 11.1.111.73 (2.x, 3.x)(2013年9月10日,​6年前​(20
  • 名草郡名草郡为过去日本和歌山县辖下的郡,已于1896年4月1日与海部郡合并为海草郡。在1879年实施郡区町村编制法(日语:郡区町村編制法)时的辖区包括现在的和歌山市除西部沿海外的大部分
  • 犬村小六犬村小六(1971年-)是日本游戏开发者、轻小说作家,出身于宫崎县。1971年生于宫崎县。早稻田大学政治经济学部毕业。以游戏策划、游戏剧作家身份参加《幻想水浒传III》、《THE EYE
  • 争取变革运动争取变革运动(希腊语:Κίνημα Αλλαγής,转写:Kinima Allagis,缩写为ΚΙΝΑΛ),是希腊的一个政党联盟。该联盟成立于2018年3月16日-18日,创始成员有泛希腊社会主义运动、