通用图灵机

✍ dations ◷ 2025-12-05 08:20:44 #艾伦图灵,图灵机

通用图灵机（universal Turing machine，又称Machine U）是一种图灵机，由艾伦·图灵在1936年发明。这种多用途单机器（计算机器）模型可以“运行”任何任意（但well-formed）指令序列（称为 "quintuples"）。这模型被一些人例如Davis (2000) 认为是“存储程序电脑”的原点。存储程序电脑一词由约翰·冯·诺伊曼使用在他的《电子计算装置》（"Electronic Computing Instrument"）。这种电脑现在使用冯·诺伊曼的名字称为冯·诺伊曼结构。

这机器作为计算模型现在称为“通用图灵机”。

每台图灵机从它的字母表得到字元串计算一确定的固定偏可计算函数。从外观上它的行为就像一台使用固定程式的电脑。尽管如此，我们可以把任何图灵机的动作表格编码到一条字元串。因此，我们可以建构出一台图灵机，它期待的纸带上记载有一条用以描述动作表格的字元串紧跟着一条用以描述输入的字元串，从而计算那台被编码的图灵机所计算的。图灵在1936年的文章中详细描述如此的构思。

相关

瓦杜兹瓦杜兹（德语：Vaduz；发音：或）是列支敦士登的首都，座落于莱因河河谷沿岸的一处高地上，拥有5,000上下的人口，其中绝大部分都是罗马天主教信徒。相传瓦杜兹的起源，是13世纪时伟登贝格伯
第三种性别非二元性别（英语：Non-binary gender）、性别酷儿（英语：genderqueer）和X性别（日语：Xジェンダー）是指一系列不完全是男性或女性的性别认同，这些身份在男性或女性的分类以外。非二元性别可
莙荙菜莙荙菜（Beta vulgaris subsp. cicla），即叶用甜菜，俗语又叫牛皮菜、厚皮菜、猪乸菜，苋科菾属的耐寒性一年生或二年生草本叶菜，是甜菜的一个变种。常见于地中海料理。莙荙菜原产欧
德川家光德川家光（1604年8月12日－1651年6月8日），德川幕府第三代将军。二代将军德川秀忠次子，母为崇源院。家光有一位异母兄长，名叫长松丸，但是夭折。同母弟德川忠长（骏河大纳言）；同母的姐姐有
乳蓟水飞蓟（学名：Silybum marianum），又名乳蓟，为菊科水飞蓟属下的一个植物种，是种中药材和食材。水飞蓟一般可以长到0.3至2.0米（1.0至6.7英尺）高，呈锥形外观。最大基底直径约为1.6米（5.3英
1990年美国人口普查1990年美国人口普查（英语：1990 United States Census）是由美国人口调查局于1990年进行的一次人口普查。第21次全美人口普查于1990年由人口调查局进行，并于1990年4月1日结束。在
反向言语反向言语（英语：Reverse speech）是一个由大卫·约翰·奥茨（David John Oates）首先提出的伪科学概念，它指的是只有当正常的话语颠倒过来时才能够听到的言语。奥茨声称，人类的潜意识不
戈特弗里德-凯勒尔奖戈特弗里德-凯勒尔奖（Prix Gottfried Keller）是瑞士最古老的文学奖项之一。该奖项由Martin Bodmer发起，以瑞士作家戈特弗里德-凯勒尔的名字命名的。每2-3年颁发一次。
alias (命令)在计算机运算中，alias 是许多命令行界面的命令，比如 Unix shell，4DOS/4NT 和 Windows PowerShell 等，它给用户提供了别名——也就是用自定义字符串替换指定命令的功能，通常用于简
旭川新道旭川新道是日本北海道旭川市国道12号的绕道。为旭川都会区城市规划道路“3.3.11环状1号线”、“3.1.12高台永山线”（道路计划决定时称1.3.17环状2号线）。※从起点侧开始