会不会停止 at some point 还是会 run for ever?
也就是说我想写一个程序P,这个程序能读任何一个程序Q及Q的输入R,并决定Q这个程序以R为输入时是会停止 at some point 还是会 run forever。
请问这个程序P要怎么写?