看板Programming
标 题Re: [请益] 那些语言或程式用上 多核心 CPU
发信站交大资讯次世代ＢＳ２ (Mon May 21 08:39:52 2007)
转信站ptt!ctu-reader!ctu-peer!news.nctu!news.cis.nctu!BS2
※ 引述《[email protected] (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
1F：推 ephesians:它明显规定有一个条件会停 218.160.208.27 05/21 13:20
2F：推 xcycl:有条件会停不代表会停。 140.116.90.191 05/21 16:41
3F：→ xcycl:anyway ... 140.116.90.191 05/21 16:41
4F：推 orc1424:是当真搞不懂decide和recognize喔...= = 140.113.138.38 06/01 10:02