通用图灵机(由艾伦·图灵于1936年提出的理论计算模型)

通用图灵机(由艾伦·图灵于1936年提出的理论计算模型)

通用图灵机是由艾伦·图灵于1936年提出的一种理论计算模型,它可以模拟任何其他图灵机 。该机器由一个无限长的纸带、一个读写头(扫描器)和一个状态控制器组成 。纸带上存储着程序指令和计算数据,通过更换纸带上的程序,该机器便能执行各种不同的计算过程,因此被称为“通用”机器 。

图灵在其1936年发表的论文《论可计算数及其在判定问题上的应用》中详细构造并证明了通用图灵机的存在 。该模型被认为是现代通用计算机的理论原型 ,冯·诺依曼体系结构的通用数字计算机被视为其物理实现 ,其构想为现代计算机的发展指明了方向 。

想要了解更多“通用图灵机(由艾伦·图灵于1936年提出的理论计算模型)”的信息,请点击:通用图灵机(由艾伦·图灵于1936年提出的理论计算模型)百科