每种自修改算法都可以用非自修改算法建模吗？

如果我们有任何可以修改其指令的计算机程序，是否可以使用无法修改其指令的程序来模拟该程序？

编辑：

我是stackexchange的新手，所以不确定是否可以在这里提出一个新问题，但是这里有：好的，就如你们所显示的，证明有可能实现这一事实实际上非常简单。现在，我想知道：与输入输出等效的最有效非自修改算法相比，使用最有效的自修改算法来解决该问题是否更有效（在何种程度上）？

是的，有可能。您可以使用解释器为其编写的语言来模拟程序。现在，该程序（解释器）已固定，以前是自修改程序的东西现在是解释器的数据。

特别是，您完全可以拥有一台通用的Turing机器，该机器允许其模拟的TM修改其自己的描述。（我的意思是模拟机器的描述；不是UTM。）

任何没有修改代码（或“代码”）的图灵完备计算模型都可作为该陈述的证明。我不知道任何标准模型（TM，RAM等）都具有修改后的代码，因此我们不必看得太远。

要使用您想要使用的任何语言获得程序，请从这样的模型进行编译（并确保编译器未进行代码修改）。

这是当然的，一个存在争论：有是一个等效的程序。但是我们也知道，在任何两种图灵完备的语言之间都有递归（即可计算）的编译器，因此您可以通过这种方式获得所需形式的程序（以该语言阅读）。

要补充David Richerby的答案：

如果确实没有非自修改算法无法建模自修改算法，那么这些算法将必须在也自修改的东西上执行。必须一直是乌龟。

正如我在评论中提到的那样，自修改算法可以在处理器上执行，该处理器本身遵守静态算法（在其设计中进行编码）的规则，该规则“告诉”它如何执行机器指令。