首页前沿资讯 > 正文

看点:图灵在计算机发展史上的主要贡献是图灵机和_图灵在计算机发展史上的主要贡献

2023-05-19 16:48:26来源:互联网

1、它的意义有如下几点:它证明了通用计算理论,肯定了计算机实现的可能性,同时它给出了计算机应有的主要架构;2、图灵机模型引入了读写与算法与程序语言的概念,极大的突破了过去的计算机器的设计理念;3、图灵机模型理论是计算学科最核心的理论,因为计算机的极限计算能力就是通用图灵机的计算能力,很多问题可以转化到图灵机这个简单的模型来考虑。

2、通用图灵机向人们展示这样一个过程:程序和其输入可以先保存到存储带上,图灵机就按程序一步一步运行直到给出结果,结果也保存在存储带上。

3、更重要的是,隐约可以看到现代计算机主要构成,尤其是冯・诺依曼理论的主要构成。


(资料图片仅供参考)

4、扩展资料:图灵机是中央处理器(CPU)的一般示例,该处理器控制计算机完成的所有数据操作,而规范机则使用顺序存储器来存储数据。

5、更具体地说,它是一种能够枚举字母表中有效字符串的任意子集的机器(自动机);这些字符串是递归枚举集的一部分。

6、图灵机具有无限长的磁带,可以在其上执行读取和写入操作。

7、假设黑匣子,图灵机无法知道它最终是否会使用给定程序枚举子集的任何特定字符串。

8、这是由于无法解决暂停问题,这对计算的理论限制具有重大意义。

9、Turing机器能够处理不受限制的语法,这进一步意味着它能够以无数种方式稳健地评估一阶逻辑。

10、通过lambda演算可以证明这一点。

11、能够模拟任何其他图灵机的图灵机称为通用图灵机(UTM,或简称为通用机)。

12、用类似的“通用”性质更数学导向的定义是由引进邱奇,上演算,其工作的正式理论与图灵的交织在一起计算被称为教会图灵论题。

13、参考资料:百度百科-图灵机。

本文分享完毕,希望对大家有所帮助。

关键词:

便民

  • 上海公布1例本土确诊病例涉及的轨迹

      记者1月24日从上海市新冠肺炎疫情防控新闻发布会上获悉,上海新增1例本土新冠肺炎确诊病例。该病例涉及的轨迹为上海市奉贤区奉城镇幸福

  • 冰雪运动热申城 “冰雪奇缘”共赴“冬奥之约”

      (北京冬奥会)冰雪运动热申城 “冰雪奇缘”共赴“冬奥之约”  中新网上海1月24日电 题:冰雪运动热申城 “冰雪奇缘”共赴“冬奥之

  • 上海市奉贤区一地调整为中风险地区

      记者1月24日从上海市新冠肺炎疫情防控新闻发布会上获悉,奉贤区奉城镇幸福村8组调整为中风险地区。  (总台记者 梁志玮 王殿甲 杨

  • 上海新增本土确诊1例

      今天,记者从上海市新冠肺炎疫情防控新闻发布会上获悉,截止到发稿,上海市新增1例新冠肺炎本土确诊病例。该病例为浦东机场西区货运站

点击加载更多

频道推荐

  • 服饰
  • 时尚
  • 物流
  • 灯饰
  • 养老