区块链概念整理之图灵停机问题

之前再更新“图灵完备智能合约”的时候,讲过了谁是图灵的问题,那么今天再看一下,当图灵+停机,又会产生什么概念。
停机,就如字面上看就是停止、机器停止的意思。又或者比如,电脑因为运行不完善的程序,导致永远无法停止,这时就可以称为无法停机。


陷入死循环,就像一直衔住自己尾巴的蛇永远打转

但是,图灵停机问题并不是这么简单,它指的是个证明:
“不存在这样一个程序或算法,它能够计算 任何程序或算法 在给定输入后是否会结束(停机)。”
举一个简单例子,无法开发一个程序,让一台电脑在自己确认自己关机后,给你发一个邮件。
那么,在分布式网络中,如果运行一个程序,而节点服务器无法判断这个程序何时终止,那么整个网络都将面临巨大的风险——整个网络将一直处理这个程序,无法响应其他的请求。
如果我们把区块链网络想象成一个超级计算机,或许就更好理解这种灾难性的后果了。所以这也是以太坊这样的网路需要添加运算成本(gas)的根本原因。

©著作权归作者所有,转载或内容合作请联系作者
平台声明:文章内容(如有图片或视频亦包括在内)由作者上传并发布,文章内容仅代表作者本人观点,简书系信息发布平台,仅提供信息存储服务。

推荐阅读更多精彩内容