Talk:停 机 问题
MS1337在 话题“U(P) 的 实现不 符合 定 义啊（笑）”中 的 最新 留 言 ：6年 前
 |
|
||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
|||||||||||||||||||||||||||||||||
Untitled
编辑设停
机 问题有 解 ，即 ：存在 过程H(P, I)可 以给出 程 序 P在 输入I的 情 况下是 否 可 停 机 。假 设若P在 输入I时可停 机 ，H输出“停 机 ”，反 之 输出“死 循环”，
这个
他 是 假設 存在 一個圖靈機能夠決定此問題，那 麼建構一個新圖靈機基於此圖靈機的輸出，當 此圖靈 機 輸出 否 （無窮 迴圈）則 不 改變 行為 ，此圖靈 機 輸出 是 （停止 ）則 執行 無窮 迴圈，也就是 說 此假設 的 圖 靈 機 本身 已 經 能 夠在有限 的 時間 中 決定 他 的 輸入 是 否 會 停 ......Arcanum (留 言 ) 2008年 7月 10日 (四 ) 21:55 (UTC)
U(P) 的 实现不 符合 定 义啊（笑）
编辑
int U(P) {
if (H(P, P) == 1) {
return 0;
} else {
while(1) { }
}
}
仅当