推 ephesians:它明顯規定有一個條件會停 218.160.208.27 05/21 13:20
推 xcycl:有條件會停不代表會停。 140.116.90.191 05/21 16:41
→ xcycl:anyway ... 140.116.90.191 05/21 16:41
推 orc1424:是當真搞不懂decide和recognize喔...= = 140.113.138.38 06/01 10:02
※ 引述《xcycl.bbs@ptt.cc (XOO)》之銘言：
> ※ 引述《DreamLinuxer ( )》之銘言：
> : 一個問題是undecidable就是說不存在程式可以decide這個問題
> : 既然不存在到底是要怎麼寫?
> Well, 我講嚴謹一點,
> Turing-recognizable 是嚴格包含 Turing-decidable 語言的。
> 而 language 是 recogizable 但不是 decidable 的，
> 意指存在 Turing Machine 能夠 recognize 這問題，只是不見得
> 任意的 input 一定會 halt。講成白話，意思就是程式寫得出來，
> 只是不見得會停而已。
> 所以能不能 decide 跟寫不寫得出程式無關。
好吧
那請您告訴我這個簡單的procedure到底會不會停?
在下資質駑鈍真的想不出來
while (true) {
int x = get random number from 0 to 100000
if (x == 10) break;
}
--
▄▄▄▄▄▄▄ ▄▄▄▄ ▄▄▄▄▄▄ ＜telnet://bbs.cs.nctu.edu.tw＞
█▄▄▄▄█ █ ▄▄▄▄▄█ Player: hellfire
▄█▄▄▄▄█ ▄▄▄█ █▄▄▄▄▄ From: H-195-135.RAS.NCTU.edu.tw
☆ 次世代ＢＳ２ ☆ 可申請個人板 150MB 相簿 http://pic.bs2.to 交大資訊人 250MB