摘要： 可判定性：一个语言L，是一个集合，且其补集为 。当L是图灵机可识别时，语言L则称为半可判定。当语言L不是图灵机可识别，则为不可判定语言。当且仅当L和都是图灵机可识别的时候，L才能称为可判定语言。数理逻辑中的一个重要问题。它表现为寻求一种能行的方法、一种机械的程序或者算法，从而能够对某类问题中的任何一个在有穷步骤内确定是否具有某一特定的性质。例如，命题逻辑的任一公式是不是常真这个问题，就可以在有穷步内按照一定的程序用真值表判定。如果对某类问题已经获得这种能行的方法，就说明这类问题是可判定的，或者说其判定问题是可解的；如能够证明某类问题不可能存在这样的方法，就说这类问题不是能行可判定的。判定问题有 阅读全文