判断正误。判断下列说法哪些是正确的？哪些是错误的？并说明原因 1. Church-Turing论题说明了将（停机）图灵机作为算法的形式定义是合适的。 2．如果在空间复杂度为f(n)内判定一个语言，那么其时间复杂度最多是 。 3．可计算函数若用语言来描述是指图灵机所识别的语言。 4．检查关于语言的任何一个性质是否可由图灵机识别都是不可判定的。 5．因为 不是图灵机可识别的，因此ATM 也不是图灵可识别的。 6．NP完全问题一定是PSPACE完全问题。 7．A归约到B，若归约过程是简单的，则解A不会比解B难。 8．一个语言是一个问题的描述，语言中的一个串是问题的一个实例。 9．目前没有计算模型超越图灵机计算模型的计算能力。 10．平面四向无穷带图灵机的计算能力比单向无穷带图灵机强。

1 Church-Turing论题说明了将（停机）图灵机作为算法的形式定义是合适的：正确，因为Church-Turing论题提出了用图灵机作为算法的形式定义是可行的。2．如果在空间复杂度为f(n)内判定一个语言，那么其时间复杂度最多是：错误，时间复杂度和空间复杂度是独立的，不会受到另一个的限制。3．可计算函数若用语言来描述是指图灵机所识别的语言：正确，因为可计算函数是图灵机所能够识别的语言。4．检查关于语言的任何一个性质是否可由图灵机识别都是不可判定的：正确，因为检查关于一个语言的性质是否可由图灵机识别是属于不可判定问题。5．因为ATM不是图灵机可识别的，因此ATM也不是图灵可识别的：正确，ATM不是图灵可识别的，因此ATM也不是图灵可识别的。6．NP完全问题一定是PSPACE完全问题：错误，NP完全问题不一定是PSPACE完全问题，因为NP问题可能不在PSPACE问题的范围内。7．A归约到B，若归约过程是简单的，则解A不会比解B难：正确，如果归约过程是简单的，则A解可以轻松地归约到B，因此A不会比B难。8．一个语言是一个问题的描述，语言中的一个串是问题的一个实例：正确，一个语言可以用来描述一个问题，而语言中的一个串可以用来表示该问题的一个实例。9．目前没有计算模型超越图灵机计算模型的计算能力：正确，图灵机的计算能力是目前所有计算模型中最强的。10．平面四向无穷带图灵机的计算能力比单向无穷带图灵机强：正确，因为平面四向无穷带图灵机的计算能力比单向无穷带图灵机的计算能力更强。