科普:什么是图灵机?
图灵机是图灵机理论中提出的理想模型,其可以实现任意复杂的计算。
什么是图灵机
英国数学家艾伦·图灵在1936年提出了「图灵机」的理论。「图灵机」设想有一条无限长的纸条,纸条上有一个个方格,每个方格可以存储一个符号,纸条可以向左或向右运动。
图灵机可以做下面三个基本的操作:
·读取指针头指向的符号。
·修改方框中的字符。
·将纸带向左或向右移动,以便修改其临近方框的值。
下面我们通过一个小例子来了解下图灵机到底是如何进行计算的。这个例子比较简单,我们将在空白的纸带条上打印1 1 0这三个数字。
首先,我们向指针头指向的方框中写入数字1:
接着,我们让纸带向左移动一个方框:
现在,我们再往指针头指向的方框写入数字1:
接着,我们继续让纸带向左移动一个方框,并写入数字0:
这样我们就完成了一个简单的图灵机操作。
用图灵机完成异或操作
我们来尝试一个稍微复杂点的操作,我们尝试将1 1 0做一个异或操作,即将1 1 0变成0 0 1。要图灵机完成计算,就类似于向图灵机输入以下操作指令,这些指令组成了一个小程序。
读到的符号
写入指令
移动指令
空
-
-
0
写入1
向右移动纸带
1
写入0
向右移动纸带
我们假设图灵机纸带现在的状态如下图所示:
现在读取到的符号是0,按照操作指令,我们应该往方框写入1并向右移动一个方框:
现在读取到的符号是1,按照操作指令,我们应该往方框写入0并向右移动一个方框:
类似地,现在读取到的符号是1,我们重复相同的操作。
最后,我们读取到了一个空白字符,图灵机不做任何操作。
用图灵机完成任意复杂计算
上面我们使用了图灵机成功完成了异或操作,理论上来讲我们也可以完成加法、减法、乘法、除法操作,只不过是实现的步骤(指令)复杂些而已。下面这个网站是一个图灵机的在线模拟器,其实现了一些基本运算,比如:加法、减法等,有兴趣的可以自己去试试看。
Online Turing Machine Simulator
图灵机的意义
让我们尝试这样的思考历程:
·我有许多很复杂的公式需要计算,如果自己一个人算的话时间会很久。
·思考:能不能有一个东西能帮我实现公式的计算,无论这个公式有多复杂?
·思考:我能不能设计一个模型来证实这个实行是可行的?(数学家最喜欢建模型来证明了~)
·思考:提出「图灵机」理论,任何计算都可以简化成固定的步骤,无论多复杂的计算都能实现了。
·某些动手能力强的数学家利用电子工程学知识将许多真空管组成了一套设备,实现了「图灵机」理论模型。
·随着电子工程的不断发展,原本庞大的计算机不断变小,慢慢地变成了今天的计算机。
「图灵机」理论通过假设模型证明了任意复杂的计算都能通过一个个简单的操作完成,从而从理论上证明了「无限复杂计算」的可能性,直接给计算机的诞生提供了理论基础。
从这样的思考历程来看,图灵机的出现为计算机的诞生奠定了理论基础,这就是图灵机诞生的意义。
科普:什么是图灵机?相关推荐
- 盗梦空间科普札记之一:梦里乾坤嵌套深,醒来可知在哪层?
盗梦空间科普札记之一:梦里乾坤嵌套深,醒来可知在哪层? (唐常杰) (这是发在科学博客上一个系列博文的1/4,涉及到递归算法,第四篇涉及到图灵机停机问题,稍难一些) 上周五晚上,和几位中学生忘年交 ...
- 图灵 数理逻辑 人工智能 图灵机与计算问题 论文
2019独角兽企业重金招聘Python工程师标准>>> 图灵机与计算问题 http://www.swarmagents.cn/vm/articles/turing.pdf pdf网站 ...
- 有没有比图灵机能力更强的计算模型?
有,而且还不少.他们被称为超计算(Hyper computation)模型. 超计算,是一个研究比图灵机计算能力更强的计算能力的计算机器的理论计算机科学分支. 主要有以下部分模型: A.谕示机. (O ...
- 第一章 Arm 架构科普解读(2023新)
第一章 启发式 Arm 科普解读 第二章 CPU微架构 第三章 系统微架构 第四章 总线微架构 第五章 监控微架构 第六章 安全微架构 第七章 虚拟化微架构 第八章 Armv9-A 架构 第九章 Ar ...
- 书单|双十一必入的科普口碑好书
双十一全场五折好书,福利不断 视频号一键预约! 双十一的抢购已经进行了几天,不知道大家都买了啥呢?洗地机.洗碗机.智能手表这些当年的"科技产品"已经走进了千家万户,我们的生活已经被 ...
- “揭开意识的奥秘:认知相对论”及作者李玉鑑简介 (公号发“李玉鑑AI”下载PDF资料,欢迎转发、赞赏支持科普)
"揭开意识的奥秘:认知相对论"及作者李玉鑑简介 (公号发"李玉鑑AI"下载PDF资料,欢迎转发.赞赏支持科普) 原创: 秦陇纪 科学Sciences 今天 科学 ...
- 【转】图灵机与计算问题(张江)
学图灵机学到哭泣,为我贫乏的大脑默哀--贴一点看到的好文章吧-- quote from: http://www.blog.edu.cn/user1/5897/archives/2005/330298. ...
- 神经网络与图灵机的复杂度博弈
来源:集智俱乐部 作者:东方和尚 1931年,天才数学家图灵提出了著名的图灵机模型,它奠定了人工智能的数学基础.1943年,麦克洛克 & 皮茨(McCulloch & Pitts)两 ...
- 14年,图灵出版了这些口碑科普好书
14年,图灵一直坚持在科普领域深耕,除数学书之外,还拓展到科技科普.脑科学.设计.经管与个人成长等多领域,出版了众多质量和口碑俱佳的作品. 即将上市 <这就是ChatGPT> 作者:[美] ...
最新文章
- 华盛顿大学《生成模型》2020秋季课程完结,课件、讲义全部放出
- 通信保障:世博会看不到的展品
- HTML5 新元素标签系列:最简版 HTML5
- 地表最强mysql命令行连接工具mycli
- 下载部署和管理Windows Azure应用程序评估
- 1000个摄像头的网络怎么搭建?为什么500个就卡的不行?
- 02-橄榄球 VS 软件
- 电脑wifi热点软件_手机WiFi信号太差怎么办?掌握这些方法,轻松解决这个问题...
- 编写Linux Shell脚本的最佳实践
- android load so 权限,android so动态加载遇到的坑
- 操作系统进程调度算法——吸烟者问题
- OSChina 周四乱弹 ——一周五天在诈尸
- lucene3.0.3中的Spanquery和Spans介绍
- 【MATLAB】用地图表白:绘制Bonne投影下的世界地图
- Ant学习笔记(Ant入门)
- windows系统命令大全
- T3:LOJ2332「JOI 2017 Final」焚风现象.cpp
- 单页应用history模式nginx配置
- 大话水声通信技术---(BFSK仿真)
- swoolephp加密_6种php加密解密方法