图灵机教学表

Question

图灵机的定义表示禁止人们阅读/修改它的指令表（程序）。确切地说，图灵机无法访问它自己的程序。

如果可以削弱这种限制，可以获得哪些好处？如果机器可以分析和/或修改它的程序。这会扩展图灵可计算任务的类吗？

Answer 1

图灵机已经可以实现另一台图灵机，并且可以更改其规则，例如，将可修改的程序作为输入。特别是，图灵机可以计算任何可计算的功能。它理论上可以实现一个lisp解释器，它将具有宏，“自我修改”代码等。

所以，答案是 NO 。记住，没有人，我的意思是绝对没有任何一个人，实际上想要图灵机，尽管毫无疑问已经编写了数以万计的模拟器。 （我不会承认这一点，但作为一名本科生，我可能已经做过类似的事......）这只是各种重要证据的基础。

Answer 2

更完整：“通用图灵机”和“图灵”机器之间存在差异。普通图灵机具有硬连线规则集，因此无法进行自我修改。您所描述的是通用图灵机，它从用于I / O的相同磁带读取其规则集，并且能够修改该规则集。如果UTM能够从磁带重新加载（重新引导）修改后的规则集，那么它就在事实上已经自我修改了。