Re: [請益] 那些語言或程式用上 多核心 CPU
※ 引述《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
推
05/21 13:20, , 1F
05/21 13:20, 1F
推
05/21 16:41, , 2F
05/21 16:41, 2F
→
05/21 16:41, , 3F
05/21 16:41, 3F
推
06/01 10:02, , 4F
06/01 10:02, 4F
討論串 (同標題文章)
以下文章回應了本文 (最舊先)：
完整討論串 (本文為第 20 之 30 篇)：
Programming 近期熱門文章
PTT數位生活區 即時熱門文章