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