图灵机(数学模拟计算机)之数学原理(加精)（Mathematical principles of Turing machine (mathematical simulation computer)）.docVIP

图灵机(数学模拟计算机)之数学原理(加精)（Mathematical principles of Turing machine (mathematical simulation computer)） The beginning of the tape gives the universal machine U the full information needed to accurately simulate any given machine T! To understand how this works, we first need a systematic way of numbering the Turing machines. Consider defining a particular, such as an instruction table for the Turing machine described earlier. We have to encode the table into a string of 0 and 1 according to some exact scheme. We can make use of the contraction step that has been used before. Because, if we use a number 2, 5-tetrafluorobenzoic and 6 to represent the symbol R, L, STOP, arrow (- ), and commas, then we can use 110, 1110, 11110, 1110 and 11110 the contraction of coding. In this way, the actual string of symbols appearing in the table can be encoded into 0 and 10 digits 0 and 1 respectively. Because in the Turing machine table, at the end of the binary count the number of capital position to the capital of 0 s and 1 s from other small demarcation of Arabic numerals, so we dont need to use different notation. In this way, 1101 will be read as a binary digit 1101, while the tape is encoded as 1010010. In particular, 00 is read as 00, which can be encoded unambiguously as 0, or as a symbol that is completely omitted. In fact, we cant encode any arrows or any symbols that are in front of it, and depend on the sequence of instructions to indicate what symbols must be. Although in the process of taking this step, there are additional dumb instructions necessary to ensure that there are no gaps in this order. Such practices have considerable economic efficiency. (for example, Turing XN + 1 to 1100 without telling us what to do order, this is because this instruction never occur when the machine is running, so we should insert a dumb instruction, such as 1100-00 r, it can be incorporated into the table without changing anything. Similarly, we should put 101-00 insert into XN x 2 r.)