通用图灵机

✍ dations ◷ 2025-11-20 06:47:04 #艾伦图灵,图灵机

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

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

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

相关

奇脉奇脉（Pulsus paradoxus），是吸气期间收缩压和脉博异常的大幅度下降。正常情况下，收缩压下降不超过10mmHg。然而，当收缩压下降的程度超过10mmHg，即称为奇脉。奇脉与脉率和心率无关。
假说假说（英语：Hypothesis），即指按照预先设定，对某种现象进行的解释，即根据已知的科学事实和科学原理，对所研究的自然现象及其规律性提出的推测和说明，而且数据经过详细的分类、归纳与分
沃尔夫冈·帕诺夫斯基沃尔夫冈·库尔特·赫尔曼·帕诺夫斯基（德语：Wolfgang Kurt Hermann Panofsky，1919年4月24日－2007年9月24日），德国-美国物理学家。
塞普蒂米乌斯·塞维鲁塞普蒂米乌斯·塞维鲁（拉丁语：Septimius Severus，146年4月11日－211年2月4日）在193年4月14日－211年2月4日出任罗马皇帝。他出生于罗马帝国阿非利加行省的大莱普提斯，在马可·奥勒留
方城县方城县在中国河南省西南部、唐河上游，是南阳市下辖的一个县；面积2542平方公里，人口约100万。秦置阳城县；汉改称堵阳县；北魏始设方城县；金置裕州，领方城、舞阳、叶三县；明废方城入州；
2019冠状病毒病以色列疫情2月2月3月3月4月4月过去15日过去15日 2019冠状病毒病以色列疫情，介绍在2019新型冠状病毒疫情中，在以色列发生的情况。该流行病是在没有官方政府的情况下发生的，因为在2020年以
分配常数分配常数（英语：Distribution constant，或称为分配系数）是指一种分析物在两种不相混合溶剂中的平衡常数。对一种特定溶质来说，分配常数等于它在固定相中的摩尔浓度与其在流动相中
奥地利-埃斯特的洛伦兹大公 (比利时亲王)奥地利-埃斯特大公，洛伦兹亲王（德语：Lorenz Habsburg-Lothringen；英语：Prince Lorenz of Belgium, Archduke of Austria-Este，全名：洛伦佐·奥托·卡尔·阿梅迪乌斯·玛利亚·庇护
ICERICER是美国国家航空航天局（NASA）火星车上使用的一种基于小波分析的图像压缩文件格式，兼备有损压缩和无损压缩模式。火星探测器勇气号（MER-A）和机遇号（MER-B）都使用了ICER。探测器上
范秀英范秀英（1892年4月11日－2008年3月30日），女，中国四川省重庆市南岸区南坪七村人，祖籍安徽省合肥县，享寿115岁353天，在世时为中国及世界最年长者（未经国际组织认可）。