星球日报
搜索
手机客户端
iPhone · Android
公众号
微信公众号

经常听说的图灵完备指的是什么?| 区块链课堂第 57 问

2018-09-24

可实现图灵机模型里面全部的功能,或能够满足任意数据按照一定顺序计算出结果。

编者按:本文来自哈希派(ID:hashpai),作者: LucyCheng,星球日报经授权转载。

经常听说的图灵完备指的是什么?| 区块链课堂第 57 问

作为计算机的理论模型,图灵机是英国数学家Alan Turing于1963年提出的、为了研究可计算问题而构思的抽象计算模型,可以看作等价于任何有限逻辑数学过程的终极逻辑机器。

简单来说,图灵机由控制器、可无限延伸的纸带及在带子上左右移动的读写头组成;运行过程中,读写头从当前纸带上读取信息,并通过内部固定程序输出回纸带,同时转换自己内部状态在纸带上移动。这个概念简单的机器,理论上可执行任何直观可算函数。

如果一门编程语言、一个指令集可实现图灵机模型里面全部的功能,或者说能够满足任意数据按照一定顺序计算出结果;我们就可称其具有图灵完备性。而上一问提到的以太坊就是一个图灵完备的区块链系统,其虚拟机可运行智能合约,理论上能够解决所有的可计算问题,从而尽最大限度满足各种现实应用场景的开发。

不过图灵完备的通用性,保证的是计算的可行性,不保证计算的效率及代码的可理解性、可维护性;所以它不一定能满足某些领域的特定需求。当需求之间存在冲突时,语言开发者须进行取舍并作出优化设计,从而降低解决问题的复杂度。

本文来自投稿,不代表Odaily立场。如若转载请注明出处。

参与讨论

登录后参与讨论

哈希派

特邀作者

哈希派

每天第一手区块链资讯、数字货币市场分析。公众号hashpai

总文章数: 113


分享至

微信扫一扫分享

0
金融区块链

Copyright 2017-2018 Beijing Star Node Media Culture Co., Ltd.