图灵完备

图灵完备,图灵完全性通常指具有无限存储能力的通用物理机器或编程语言。
图灵完备意味着你的语言可以做到能够用图灵机能做到的所有事情,可以解决所有的可计算问题。
图灵不完备也不是没有意义, 有些场景我们需要限制语言本身. 如限制循环和递归, 可以保证该语言能写的程序一定是终止的。


理解一下,就是说图灵完备的语言,有循环执行语句,判断分支语句等。理论上能解决任何算法。但有可能进入死循环而程序崩溃。

图灵不完备,应该是不允许或限制循环。可以保证,每段程序都不会死循环,都有运行完的时候。

比特币的脚本系统是图灵不完备的,而一些竞争币的智能合约系统是图灵完备的。
各有优缺点,图灵不完备会更安全些,图灵完备会更智能些。
阅读更多
想对作者说点什么? 我来说一句

没有更多推荐了,返回首页

关闭
关闭
关闭