150
个编辑
更改
跳到导航
跳到搜索
第625行：
第625行： − {{quote|It is possible to invent a ''single machine'' which can be used to compute ''any'' computable sequence. If this machine '''U''' is supplied with the tape on the beginning of which is written the string of quintuples separated by semicolons of some computing machine '''M''', then '''U''' will compute the same sequence as '''M'''.}} − {{quote|我们可以发明一个机器，用来计算任何可计算序列。如果向机器U提供纸带，纸带的开头写着计算机M用分号隔开的五元数组，那么机器U将计算出与机器M相同的序列+ + − }} − 虽然这一发现现在被认为是理所当然的，但在当时(1936年) ，很多人认为这是不可思议的。图灵称之为“通用机器”(缩写为“U”)的计算模型被一些人(参见Davis(2000))认为是产生存储程序计算机概念的基础理论的突破。+ + − {{quote|Turing's paper ... contains, in essence, the invention of the modern computer and some of the programming techniques that accompanied it.|Minsky (1967), p. 104}}+ − {{quote| − 图灵的论文......实质上包含了现代计算机的发明以及伴随着它的一些编程技术。 − ——Minsky（1967），P.104 − }}
→通用图灵机
我们可以发明一种机器，用来计算任何可计算序列。如果向机器U提供纸带，纸带的开头写着计算机M用分号隔开的五元数组，那么机器U将计算出与机器M相同的序列。
This finding is now taken for granted, but at the time (1936) it was considered astonishing. The model of computation that Turing called his "universal machine"—"U" for short—is considered by some (cf. Davis (2000)) to have been the fundamental theoretical breakthrough that led to the notion of the stored-program computer.
This finding is now taken for granted, but at the time (1936) it was considered astonishing. The model of computation that Turing called his "universal machine"—"U" for short—is considered by some (cf. Davis (2000)) to have been the fundamental theoretical breakthrough that led to the notion of the stored-program computer.
虽然这一发现现在被认为是很常见的，但在当时(1936年) ，很多人认为这是不可思议的。图灵称之为“通用机器”(缩写为“U”)的计算模型被一些人(参见Davis(2000))认为是产生存储程序计算机概念的基础理论的突破。
图灵的论文......实质上包含了现代计算机的发明以及伴随着它的一些编程技术。——Minsky（1967），P.104