经常听说的图灵完备指的是什么？| 区块链课堂第57问
图灵完备保证的是计算的可行性，不保证计算的效率及代码的可理解性、可维护性。
作为计算机的理论模型，图灵机是英国数学家Alan Turing于1963年提出的、为了研究可计算问题而构思的抽象计算模型，可以看作等价于任何有限逻辑数学过程的终极逻辑机器。
简单来说，图灵机由控制器、可无限延伸的纸带及在带子上左右移动的读写头组成；运行过程中，读写头从当前纸带上读取信息，并通过内部固定程序输出回纸带，同时转换自己内部状态在纸带上移动。这个概念简单的机器，理论上可执行任何直观可算函数。
如果一门编程语言、一个指令集可实现图灵机模型里面全部的功能，或者说能够满足任意数据按照一定顺序计算出结果；我们就可称其具有图灵完备性。而上一问提到的以太坊就是一个图灵完备的区块链系统，其虚拟机可运行智能合约，理论上能够解决所有的可计算问题，从而尽最大限度满足各种现实应用场景的开发。
不过图灵完备的通用性，保证的是计算的可行性，不保证计算的效率及代码的可理解性、可维护性；所以它不一定能满足某些领域的特定需求。当需求之间存在冲突时，语言开发者须进行取舍并作出优化设计，从而降低解决问题的复杂度。
上期回顾：什么是以太坊虚拟机？
下期预告：与以太坊概念相似的加密货币有哪些？
区块链课堂是哈希派（公众号ID：hashpai）围绕区块链技术推出的每日问答栏目，帮助大家从各方面了解区块链领域的相关知识。如果你对区块链有自己的想法以及相关疑惑，欢迎在评论区留言，我们将会在近期更新中为你解答。
