判断正误。判断下列说法哪些是正确的?哪些是错误的?并说明原因 1. Church-Turing论题说明了将(停机)图灵机作为算法的形式定义是合适的。 2.如果在空间复杂度为f(n)内判定一个语言,那么...

1 Church-Turing论题说明了将(停机)图灵机作为算法的形式定义是合适的:正确,因为Church-Turing论题提出了用图灵机作为算法的形式定义是可行的。2.如果在空间复杂度为f(n)内判定一个语言,那么其时间复杂度最多是:错误,时间复杂度和空间复杂度是独立的,不会受到另一个的限制。3.可计算函数若用语言来描述是指图灵机所识别的语言:正确,因为可计算函数是图灵机所能够识别的语言。4.检查关于语言的任何一个性质是否可由图灵机识别都是不可判定的:正确,因为检查关于一个语言的性质是否可由图灵机识别是属于不可判定问题。5.因为ATM不是图灵机可识别的,因此ATM也不是图灵可识别的:正确,

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值