我遇到了一个问题,希望能为解决方案提供一些指导。
我需要证明下一个问题是不可判定的:
输入 - 程序
问题 - 程序停止的可能输入数量是否大于程序不会停止的数量?
我尝试构建一个减少(在输入是偶数的情况下)为每个偶数停止,为每个奇数进行无限循环并使用输入运行程序。或者如果输入是奇数则相反 - 但只有当我能够证明实数奇数等于实数偶数时它才有效。
答案 0 :(得分:1)
这是一个提示。
˙“ɥƃnouǝǝƃɹɐʃ”ǝɹɐʇɐɥʇsʇɐɥʇnduıʃʃɐɹɟɟʇʃɐɥɯɯɯʇɐɥʇsɯɐɹƃoɹdʇɐʞʞ˥