探索程序如何被写入纸带,由此开启通向通用机与停机问题的道路。
由英文原文机器翻译。 打开英文原文
In a Universal Machine, the rule table of some Turing machine itself is placed on the tape as a string of symbols. Not only the input but also “which machine to run” becomes data, and the interpreter mimics one step of the target machine while reading that description.
The idea of a universal machine connects to treating a Turing machine’s description as data another machine can read: Stanford Encyclopedia of Philosophy: Turing .
First look at the two tapes. The top is the program tape, the bottom is the input tape. Do not Step here; confirm that the machine and the input are separated.
The heart of Chapter 4 is not a “machine that computes fast” but a “machine that reads the description of a machine as data.”
What newly becomes data in a Universal Machine?
