我遇到了一个问题,希望对解决方案有一些指导。
我需要证明下一个问题是不可判定的:
输入- 程序
问题- 程序停止的可能输入的数量是否大于程序不会停止的输入数量?
我试图建立一个减少(如果输入是偶数)对每个偶数停止,对每个奇数进入一个无限循环并使用输入运行程序。或者如果输入是奇数,则相反 - 但只有当我能够证明实奇数的数量等于实偶数时它才有效。
我遇到了一个问题,希望对解决方案有一些指导。
我需要证明下一个问题是不可判定的:
输入- 程序
问题- 程序停止的可能输入的数量是否大于程序不会停止的输入数量?
我试图建立一个减少(如果输入是偶数)对每个偶数停止,对每个奇数进入一个无限循环并使用输入运行程序。或者如果输入是奇数,则相反 - 但只有当我能够证明实奇数的数量等于实偶数时它才有效。