通用图灵机

✍ dations ◷ 2025-04-02 17:16:39 #艾伦图灵,图灵机

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

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

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

相关

  • 夏尔·奥古斯丁·库仑夏尔·奥古斯丁·德·库仑(Charles Augustin de Coulomb,1736年-1806年),法国物理学家、军事工程师、土力学奠基人。库仑是法国著名军事工程学专家和物理学家,库仑最为知名的是他
  • CIn有机铟化学是研究含碳-铟键化合物的化学分支。由于铟在自然界含量稀少、分布分散,故没有同族的硼和铝研究的广泛而深入。在有铟化合物中,铟可以以+1或+3氧化态的形式出现。三
  • 燧石玻璃燧石玻璃,也称为火石玻璃,是具有高折射率和低阿贝数的光学玻璃。燧石玻璃的阿贝数是随意订定的,通常在50至55,但也可以更低一些,折射率则在1.45到2.00之间。由于它们的光学性能可
  • 厄贝沙坦厄贝沙坦(CADN,INN:Irbesartan,发音为/ɜrbəˈsɑrtən/)是一种血管紧张素II受体拮抗剂,主要用于高血压的治疗,在中国已被列入国家基本药物目录。厄贝沙坦由赛诺菲公司(现为赛诺菲-
  • LH/CG1LUT, 1XUL· choriogonadotropin hormone receptor activity· plasma membrane· G-protein coupled receptor signaling pathway · G-protein coupled receptor signal
  • 太平洋联合学院太平洋联合学院 (英文:Pacific Union College,缩写:PUC)是与基督复临安息日会有密切关系的一所私立文理学院,位于美国加州纳帕谷的一个名为安哥文的小镇。太平洋联合学院主要提供
  • 基隆级驱逐舰基隆级驱逐舰是中华民国海军所操作、一系列为数共四艘的导弹驱逐舰。2005年起陆续成军的基隆级原为美国海军基德级驱逐舰(Kidd class),这是种以史普鲁恩斯级(Spruance-class)驱逐
  • 现役上将美军上将军衔(陆军、空军、陆战队:英语:General;海军、海岸警卫队:英语:Admiral),是平时美军最高军衔,等级低于仅在战时颁授五星上将。因军衔标志为4颗银星,也俗称四星上将。美军现有4
  • 布鲁克林·戴可儿布鲁克林·戴可儿(英语:Brooklyn Danielle Decker,1987年4月12日-)出生于美国俄亥俄州蒙哥马利县,美国模特儿和女演员。1987年,戴可儿出生于美国俄亥俄州蒙哥马利县,她的母亲特萨是
  • 所信表明演说所信表明演说(日语:所信表明演説/しょしんひょうめいえんぜつ  ?)是日本行政机关首长对自己施政信念发表的公开演讲,多半是在国会、议会、或地方自治体对外。在国会是由总理在