通用图灵机

✍ dations ◷ 2025-11-24 22:33:57 #艾伦图灵,图灵机

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

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

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

相关

新视野号新视野号（New Horizons）又译新地平线号，是美国宇航局旨在探索矮行星冥王星（在发射时间仍然被认为是一颗行星）和柯伊伯带的行星际机器人航天器任务，它是第一艘飞越和研究冥王星和它
第比利斯第比利斯（格鲁吉亚语：თბილისი.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000","Gent
国立台北艺术大学国立台北艺术大学（简称台北艺大、北艺大、北艺，Taipei National University of the Arts，前身为国立艺术学院），位于台湾台北市北投区关渡，以艺术、表演、人文研究、创作等科系为主
密尔密耳，又称英丝或条，是一个长度的单位，代表千分之一英寸，可被写做mil或thou。这个单位较常被使用在工程及科学上，如：目前倾向于用国际单位制的长度单位来代替，如毫米。1密尔等同于：
太平洋海军陆战队美国太平洋海军陆战队（United States Marine Corps Forces, Pacific），隶属于美国太平洋司令部。它是美国海军陆战队中规模最大的部队。总部位于夏威夷瓦胡岛H·M·史密斯军营，它
脍 (韩国)脍（谚文：회；朝鲜汉字：膾）是一种韩国菜肴，即韩式生鱼片，材料是切薄片的生鱼肉。上桌时在下垫粉丝。食时蘸上醋苦椒酱（초고추장）或山葵，外面包上生菜和紫苏，亦有以泡菜包裹食用的。剩下的
2,3,4,5,6,7,8-七羟基辛醛2,3,4,5,6,7,8-七羟基辛醛（IUPAC名：2,3,4,5,6,7,8-heptahydroxyoctanal）是一类辛醛糖。可在库尔勒香梨等植物中发现。共有64种镜像异构物，例如:D-赤藓-L-半乳辛糖、D-赤藓-L-甘
5-脱氢表甾醇5-脱氢表甾醇（英语：5-Dehydroepisterol，化学式C28H44O）是油菜素类固醇等物质生物合成过程中的中间产物，由C-5甾醇去饱和酶催化表甾醇生成，再通过7-脱氢胆固醇还原酶转化为24-亚甲
1976年冬季奥林匹克运动会奖牌榜以下是1976年冬季奥林匹克运动会奖牌统计。国际奥林匹克委员会并非认同此奖牌榜中各国的奖牌排名，本表仅供参考之用。以背景色标示的是冬奥会举办国，最多奖牌数以粗体显示。
反相对论相对论提出后，有众多学者、爱好者反对相对论。相对论反对者包括：德国实验物理学家格尔克 (Ernst Gehrcke) 、著名德国实验物理学家、 1905年诺贝尔物理学奖得主勒纳德 (Philip