Read even the machine’s description as data on the tape
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.
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.”
Universal Overview
program tape + input tapeBan đầu chưa có vận hành nào được hiển thị; hãy đọc rằng Tape chương trình và Tape đầu vào được sắp xếp thành hai vai trò tách biệt.
Thứ tự đọcUniversal OverviewBan đầu chưa có vận hành nào được hiển thị; hãy đọc rằng Tape chương trình và Tape đầu vào được sắp xếp thành hai vai trò tách biệt.Trả lời kiểm tra khám phá rồi chuyển sang mã hóa mô tả máy.
Universal Map
Program tapedata flow
Input tapedata flow
Interpreterdata flow
Decoded ruledata flow
Halting boundarylimit
Điểm kết của loạt bàiNhìn thấy cùng lúc sức mạnh có thể cơ giới hóa và những câu hỏi không thểMáy Vạn Năng là Chương 4, kết nối loạt bài Turing với cánh cửa vào khả năng tính toán.Những góc nhìn từ Prelude đến Mechanical hội tụ ở đây thành ý tưởng chương trình cũng là dữ liệu.
