刚刚在读书关于模拟器的高票问题和声明
事实证明，找到所有
给定二进制文件中的代码是等效的
停止问题。
真的很让我印象深刻。
这肯定不是真的吗？这不就是一个很大的依赖图吗？
如果您能进一步了解此声明，我将不胜感激。
我不同意拉斯曼的观点。
停止问题表明没有程序P存在可以采取any程序并决定该程序是否执行halt操作说明。我引用一下维基百科吧：
艾伦·图灵 (Alan Turing) 在 1936 年证明，解决所有可能的程序输入对的停止问题的通用算法是不存在的。我们说停机问题在图灵机上是不可判定的。
另一方面，我们并不是试图制作这样的程序/算法，而是试图找到所有代码在此/这些特定计划中。如果我们对程序进行逆向工程并发现它立即调用exit()（非常乐观的例子情况）我们已经证明了will call halt，虽然这是不可能的？！
如果我们试图构建一个可以运行任何程序的模拟器，那么我们会失败，那么您可以（轻松）将其减少到停止问题。但通常你正在为像 Game Boy 这样的东西构建一个模拟器，它支持有限数量的游戏卡带（程序），因此这是可能的。
本文内容由网友自发贡献，版权归原作者所有，本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容，请联系:hwhale#tublm.com(使用前将#替换为@)
