我有一个问题想请教本坛的CS大拿。我想写一个程序，这个程序必须能读任何一个程序及其输入并决定这读进来的程序如果读其输入

会不会停止 at some point 还是会 run for ever?

也就是说我想写一个程序P，这个程序能读任何一个程序Q及Q的输入R，并决定Q这个程序以R为输入时是会停止 at some point 还是会 run forever。

请问这个程序P要怎么写？

 

所有跟帖： 

• 拿钱， 我写个程序能告诉你66889977能不能写 哈哈 -东西南北衫- ♂ (0 bytes) () 02/27/2024 postreply 15:58:56

• 拿钱来， 我写个自动Requirement generator 哈哈 -东西南北衫- ♂ (0 bytes) () 02/27/2024 postreply 16:02:36

• 六位数还是七位数还是八位数还是九位数？-：） -有言- ♂ (0 bytes) () 02/27/2024 postreply 16:02:15

• 问ChatGPT 或 Gemini -紫坛逛一逛- ♂ (0 bytes) () 02/27/2024 postreply 16:05:48

• 这个问题太笼统，如果没有限制，会是很复杂的。 -linda2- ♀ (18428 bytes) () 02/27/2024 postreply 16:15:04

• 上面的贴格式有问题，删了内容，重来 - chatGPT: -linda2- ♀ (6965 bytes) () 02/27/2024 postreply 16:16:49

• 上面最后的结论： This demonstrates the limitations of attempting to -linda2- ♀ (239 bytes) () 02/27/2024 postreply 16:22:28

• 唉，ChatGPT没上过CS理论课。可见目前的AI还是达不到人的水平的。 -大观园的贾探春- ♀ (0 bytes) () 02/27/2024 postreply 16:17:09

• 别上当。有人卖弄computability theory而已。 -trivial- ♀ (229 bytes) () 02/27/2024 postreply 16:23:20

• 哈哈，谢谢！ -linda2- ♀ (0 bytes) () 02/27/2024 postreply 16:24:46

• Halting problem 理论上无解的，但是后来有人想出法子逼近解 -zeno- ♀ (32 bytes) () 02/27/2024 postreply 16:18:42

• 哎呀，终于有人是上过CS理论课的。 -大观园的贾探春- ♀ (0 bytes) () 02/27/2024 postreply 16:20:54

• 你搞错了啊，我找AI bot问的，回答都是它回答的，除了最后一句 -zeno- ♀ (48 bytes) () 02/27/2024 postreply 16:29:51

• 其实她也是啥都问AI的，然后就成了这里的“专家”，还包括时坛的“军事专家”，:) -manyworlds- ♂ (0 bytes) () 02/27/2024 postreply 22:06:57

• 只有我一个人没读懂吗？汗。。。文科生混个紫檀都被鄙视了。。。 -kxl- ♀ (0 bytes) () 02/27/2024 postreply 16:21:50

• 这种贴和数学题我都直接跳过， lol -jingzhumama- ♀ (134 bytes) () 02/27/2024 postreply 16:37:37

• 我也读不懂啊 -avw- ♀ (0 bytes) () 02/27/2024 postreply 17:02:58

• 可以让Chat GPT读问题然后写个能让普通人看懂的版本？写完再把程序也顺便写了就行了 -randomness- ♀ (0 bytes) () 02/27/2024 postreply 18:28:36

• GitHub 各种现成的程序。我不会code，人告诉我copy paste 哪个，办事就成。 -无言无语无声- ♀ (0 bytes) () 02/27/2024 postreply 16:24:34

• 哈哈。Chat GPT还真不含糊。这里 -randomness- ♀ (50701 bytes) () 02/27/2024 postreply 18:34:48

• 如果你是在Linux 环境下，可以用现成的expect软件来实现，基本不需要什么复杂的编程，QA都应该可以做 -gpu- ♂ (1715 bytes) () 02/27/2024 postreply 18:38:34

• 这不能算事卖弄，只是暴漏了本坛基本是CS文盲 -BuboBubo- ♂ (0 bytes) () 02/27/2024 postreply 21:14:31