图灵完备

本文探讨了图灵完备性和不完备性的概念及其在编程语言中的应用。图灵完备的语言能够解决所有可计算问题,但也可能引发死循环。图灵不完备则通过限制循环来确保程序总是终止,增加安全性。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

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


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

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

比特币的脚本系统是图灵不完备的,而一些竞争币的智能合约系统是图灵完备的。
各有优缺点,图灵不完备会更安全些,图灵完备会更智能些。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值