更改

{{quote|Thus the state of progress of the computation at any stage is completely determined by the note of instructions and the symbols on the tape. That is, the '''state of the system''' may be described by a single expression (sequence of symbols) consisting of the symbols on the tape followed by Δ (which we suppose not to appear elsewhere) and then by the note of instructions. This expression is called the 'state formula'.|''The Undecidable'', pp. 139–140, ’’’<font color=’’#32CD32’’> emphasis added </font>’’’}}

Thus the state of progress of the computation at any stage is completely determined by the note of instructions and the symbols on the tape. That is, the '''state of the system''' may be described by a single expression (sequence of symbols) consisting of the symbols on the tape followed by Δ (which we suppose not to appear elsewhere) and then by the note of instructions. This expression is called the 'state formula'.|''《The Undecidable》'', pp. 139–140,  

{{quote|因此，任何阶段的计算进度状态完全由指令注释和纸带上的符号决定。也就是说，系统的状态可以由单个表达式（符号序列）来描述，该表达式由纸带上的符号后跟 Δ（我们假设不会出现在其他地方）和指令注释组成。这个表达式被称为“状态公式”。

因此，任何阶段的计算进度状态完全由指令注释和纸带上的符号决定。也就是说，系统的状态可以由单个表达式（符号序列）来描述，该表达式由纸带上的符号后跟 Δ（我们假设不会出现在其他地方）和指令注释组成。这个表达式被称为“状态公式”。

—  The Undecidable , pp. 139–140, 强调补充

—  《The Undecidable》,图灵，p.139–140

Earlier in his paper Turing carried this even further: he gives an example where he placed a symbol of the current "m-configuration"—the instruction's label—beneath the scanned square, together with all the symbols on the tape (The Undecidable, p.&nbsp;121); this he calls "the complete configuration" (The Undecidable, p.&nbsp;118). To print the "complete configuration" on one line, he places the state-label/m-configuration to the left of the scanned symbol.

Earlier in his paper Turing carried this even further: he gives an example where he placed a symbol of the current "m-configuration"—the instruction's label—beneath the scanned square, together with all the symbols on the tape (《The Undecidable》, p.&nbsp;121); this he calls "the complete configuration" (《The Undecidable》, p.&nbsp;118). To print the "complete configuration" on one line, he places the state-label/m-configuration to the left of the scanned symbol.

早些时候，图灵在他的论文中进行了进一步的研究：他举了一个例子，在该示例中，他把当前 "m-配置 "的符号（指令的标签）和纸带上的所有符号一起放在扫描的方块下面（The Undecidable，第121页）；他把这个称为 "完整的配置"（The Undecidable，第118页）。为了将 "完整配置 "打印在一行，他将状态标签/m-配置放在扫描符号的左边。

更早时期，图灵在他的论文中进行了进一步的研究：他举了一个例子，在该示例中，他把当前 "m-配置 "的符号（指令的标签）和纸带上的所有符号一起放在扫描的方块下面（《The Undecidable》，第121页）；他把这个称为"完整的配置"（《The Undecidable》，第118页）。为了将 "完整配置 "打印在一行，他将状态标签/m-配置放在扫描符号的左边。

A variant of this is seen in Kleene (1952) where Kleene shows how to write the Gödel number of a machine's "situation": he places the "m-configuration" symbol q₄ over the scanned square in roughly the center of the 6 non-blank squares on the tape (see the Turing-tape figure in this article) and puts it to the right of the scanned square. But Kleene refers to "q₄" itself as "the machine state" (Kleene, p.&nbsp;374-375). Hopcroft and Ullman call this composite the "instantaneous description" and follow the Turing convention of putting the "current state" (instruction-label, m-configuration) to the left of the scanned symbol (p.&nbsp;149).

A variant of this is seen in Kleene (1952) where Kleene shows how to write the Gödel number of a machine's "situation": he places the "m-configuration" symbol q₄ over the scanned square in roughly the center of the 6 non-blank squares on the tape (see the Turing-tape figure in this article) and puts it to the right of the scanned square. But Kleene refers to "q₄" itself as "the machine state" (Kleene, p.&nbsp;374-375). Hopcroft and Ullman call this composite the "instantaneous description" and follow the Turing convention of putting the "current state" (instruction-label, m-configuration) to the left of the scanned symbol (p.&nbsp;149).