图灵完备理解

图灵完备性(Turing Completeness)是针对一套数据操作规则而言的概念。数据操作规则可以是一门编程语言,也可以是计算机里具体实现了的指令集。当这套规则可以实现图灵机模型里的全部功能时,就称它具有图灵完备性。直白一点说,图灵完备性就是我给你一工具箱的东西,包括无限内存、if/else 控制流、while 循环……那么你现在图灵完备了吗?
概念本身倒是非常直观,但整件事似乎还是让人云里雾里。我曾经一直不懂的就是为什么图灵给出的那个命题是正确的。换句话说,凭什么有了纸带以及其他的那一套东西,就可以自信解决任意可计算问题呢?尽管我不能通读他的那篇论文里的证明,但是通过一门叫做 Brainfuck 的编程语言,还是可以获得一些直觉。

第一次在币问回答问题,我算是新手,不知道回答得对不对!
一门语言为什么要图灵完备呢?可以这么理解:
一台计算机也是一个图灵机,一个图灵完备的语言意味着这个语言可以使用计算机完成任何计算机可以完成的任务,也就能够发挥计算机的所有能力。(这句话有点绕口)
反之,一个图灵不完备的语言,就意味着不能发挥计算机的所有能力。
这个概念也就是图灵等价。
一般概念上图灵不完备指的是计算能力不如图灵机的。当然也存在计算能力可能更高的,比如说非确定图灵机。但是到底高多少,还是本质是一样的。应该没人知道,这也就是P和NP的问题。

图灵完备是指一个能计算出每个图灵可计算函数(Turing-computable function)的计算系统。或者说,图灵完备使我们的脚本系统有能力解决所有的可计算问题。一方面,它带来了强大的处理能力;另一方面,它也使对脚本的静态分析变为不可能:我们永远也无法知道脚本何时会停止,除非我们真正去执行它。

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值