我有一個問題想請教本壇的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