AI数学基础之:确定图灵机和非确定图灵机
文章目录
- 简介
- 图灵机
- 图灵机的缺点
- 等效图灵机
- 确定图灵机
- 非确定图灵机
简介
图灵机是由艾伦·麦席森·图灵在1936年描述的一种抽象机器，它是人们使用纸笔进行数学运算的过程的抽象，它肯定了计算机实现的可能性，并给出了计算机应有的主要架构，引入了读写与算法与程序语言的概念为现代计算机的发明打下了基础。
本文将会讲解一下图灵机中的两种类型：确定图灵机和非确定图灵机。
图灵机
图灵机是一种数学计算模型，它定义了一个抽象机器，该抽象机器根据规则表来操纵带子上的符号。尽管该模型很简单，但是在任何给定计算机算法的情况下，都可以构建出模拟该算法逻辑的图灵机。
简单点说，图灵机就是一个模拟算法运行的抽象机器。它是这样定义的：
- 有一个无限长度的磁带，这个磁带被分成了一个接一个的单元格，磁带被用于写入字母和符号。
- 一个读写磁带的磁头，这个磁头负责控制堆磁带的写入和左右移动。
- 一个状态寄存器，用来存储图灵机的状态。
- 一个指令表，可以根据机器当前所处的状态和磁带上当前的符号，指示机器进行特定的操作。比如：擦除或者写入一个符号、向左或者向右移动磁头。
可以看到整个图灵机基本上模拟了程序的执行步骤。
图灵机虽然可以表示任意的计算程序，但是因为其极其简单的设计实际上并不适合进行计算，所以现实世界的现代计算机都是对图灵机的优化设计。
图灵完备性是指指令系统模拟图灵机的能力。从理论上讲，图灵完整的一种编程语言可以表达计算机可以完成的所有任务。如果忽略有限内存的限制，几乎所有编程语言都是图灵完备的。
图灵机的缺点
虽然图灵机可以表示任何计算任务，但是图灵机太过于简单了，在某些复杂的模型中无法很好的进行使用。比如在现代计算机中的RASP随机存储模型，因为RASP可以在寄存器中引用其他的寄存器，所以可以基于内存索引进行优化，这种优化是在图灵机中无法实现的。
图灵机的另一个限制是它们不能很好地进行并发建模。另外，因为在早期的时候，计算机的使用通常仅限于批处理，即非交互式任务，每个任务都从给定的输入数据中产生输出数据。 所以图灵机在描述现代交互式应用也有一些限制。
等效图灵机
因为图灵机是一种假想的设备，它为计算机算法的概念提供了理论基础。并且因为图灵机模型比较简单，对于复杂问题的描述比较弱，所以出现了很多图灵机的等效模型，虽然这些模型并不一定比图灵机强大，但是这些模型是真正存在的，并且使用他们可以更加容易的解决特定问题。
确定图灵机
在确定性图灵机（DTM）中，其控制规则规定了在任何给定情况下最多只能执行一个动作。
确定性图灵机具有转换功能，对于磁带头下的给定状态和符号，该转换功能指定了三件事：
要写入磁带的符号，头部应移动的方向（向左，向右或都不向），以及有限控制的后续状态。
例如，状态3的磁带上的X可能会使DTM在磁带上写Y，将磁头向右移动一个位置，然后切换到状态5。
非确定图灵机
在理论计算机科学中，非确定性图灵机（NTM）是一种理论计算模型，其控制规则在某些给定情况下指定了多个可能的动作。 也就是说，NTM的下一个状态不是完全由其动作和它所看到的当前符号决定的（不同于确定性图灵机）。
例如，状态3的磁带上的X可能允许NTM：
输入Y，向右移动，然后切换到状态5或者写一个X，向左移动，并停留在状态3。
那么问题来了，对于非确定图灵机来说是怎么进行下一步的选择的呢？实际上NTM足够幸运，它总是会选择那个能够最终指向接受状态的那一步。
你可以把NTM的诸多分支看成是许多副本，每个副本遵循一个可能的转换。 DTM遵循的是单个“计算路径”，而NTM则是“计算树”。 如果树中至少有一个分支导致接受状态，那么NTM就会接受这个输入状态。
我们看下两者的决策图：
确定图灵机和非确定图灵机 两者在计算上是等效的，也就是说，尽管它们通常具有不同的运行时，但可以将任何NDTM转换为DTM（反之亦然）。 这可以通过构造来证明。
本文已收录于 http://www.flydean.com/03-turing-machine/
最通俗的解读，最深刻的干货，最简洁的教程，众多你不知道的小技巧等你来发现！
欢迎关注我的公众号:「程序那些事」,懂技术，更懂你！
AI数学基础之:确定图灵机和非确定图灵机相关推荐
- p,np,npc，np难问题，确定图灵机与非确定图灵机
本文转自豆瓣_燃烧的影子 图灵机与可计算性 图灵(1912~1954)出生于英国伦敦,19岁进入剑桥皇家学院研究量子力学和数理逻辑.1935年,图灵写出了"论高斯误差函数"的论文, ...
- 图解AI数学基础(2) | 概率与统计（要点速查清单·完结）
作者:韩信子@ShowMeAI 教程地址:https://www.showmeai.tech/tutorials/83 本文地址:https://www.showmeai.tech/article-d ...
- 图解AI数学基础(1) | 线性代数与矩阵论（要点速查清单·完结）
作者:韩信子@ShowMeAI 教程地址:https://www.showmeai.tech/tutorials/83 本文地址:https://www.showmeai.tech/article-d ...
- AI数学基础（2）--- 霍夫丁不等式
AI数学基础(2)--- 霍夫丁不等式 简介 推导 霍夫丁不等式的引理 霍夫丁不等式 简介 在概率论中,霍夫丁(Hoeffding)不等式,给出了随机变量的和与其期望值偏差的概率上限 推导 霍 ...
- 图解AI数学基础：从入门到精通系列教程（要点速查清单·完结）
作者:韩信子@ShowMeAI 教程地址:https://www.showmeai.tech/tutorials/83 声明:版权所有,转载请联系平台与作者并注明出处 引言 本系列教程展开讲解AI所需 ...
- 【计算理论】图灵机 ( 接受状态作用 | 格局 | 图灵机语言 | 图灵机设计复杂性 )
文章目录 一.接受状态作用 二.格局 三.图灵机语言 四.图灵机设计复杂性 一.接受状态作用 自动机 / 图灵机 与 现实计算 的区别是 现实计算中 没有 接受状态 概念 , 自动机 / 图灵机 的目 ...
- 30分钟回顾AI数学基础知识(一)
大家好,我是灿视. 最近上课比较多,也在忙着租房子,也算是把这些事情给忙差不多了.这两天也在做作业,看着老师的课件,老师一节课把一些基础东西就给上完了,这里就给各位一起回顾回顾吧. 这里主要根据我们老 ...
- 实战 | 这是一个转型AI的励志故事，从非科班到拿下阿里云栖一等奖，他经历的坑足够你学习100天
作者 | 智亮 编辑 | 胡永波 深度学习正在从实验室下沉到技术一线."年薪百万"的人才需求背后,是各用人团队找不出可用之才的窘境,同时也说明广大有志于AI的人才没能迅速掌握深度学 ...
- 人工智能概览及AI数学基础
人工智能定义: 人工智能(Artificial Intelligence),英文缩写为AI.它是研究.开发用于模拟.延伸和扩展人的智能的理论.方法.技术及应用系统的一门新的技术科学. 1 ...
最新文章
- JButton类，简单应用
- mysql,mairadb启动脚本
- k8s容器探针：就绪检测、存活检测
- 如何在Win11上快速加密硬盘 Win11上快速加密硬盘方法步骤
- HDOJ(HDU) 2186 悼念512汶川大地震遇难同胞——一定要记住我爱你
- pytorch nn.ReLU
- Leetcode每日一题：463.island-perimeter（岛屿的周长）
- Linux内核启动：setup_arch
- Cinder - 云硬盘加密
- PyCharm安装配置Django，启动第一个Django项目Hello World
- Treo 650使用专题及开发计划等
- 提高linux运行速度,教你如何提高Linux操作系统的运行速度
- HTML5+js+css3开心消消乐手机pc端通用源码|H5小游戏
- DLL注入与DLL劫持注入
- 手机上将mp4转换成amv_如何在智能手机上将图像转换为黑白图像
- ubuntu查看磁盘分区使用
- python爬取裁判文书_使用selenium爬取裁判文书网
- 使用PEG估值法简单选股（1）
- 计算机系统盘没用的东西怎么删除,怎样清理电脑c盘无用的东西
- 开放式运动耳机排行榜，排行靠前的五款高性能耳机分享