我真的在努力理解这两者之间的区别。从我的教科书中，它基本上通过说
来描述差异如果语言是图灵识别语言的补充，那么语言就是可识别的。
我想这个定义中我不明白的部分是：当它是图灵识别语言的补充时它意味着什么？
您如何确定它是否是另一种语言的补充？
答案 0 :(得分：41)
（注意 - “Turing decidable”和“co-Turing decidable”这两个术语是相同的。但是，“Turing-awareizable”和“co-Turing-awareizable”不一样，就是这个我我决定覆盖我的答案。原因是如果一种语言是可判定的，那么它的补语也必须是可判定的。对于可识别的语言也是如此。）
直观地说，如果有一些计算机程序，如果语言中有一个字符串，可以确认字符串确实在语言中，那么语言就是图灵可识别的。如果字符串不在语言中，该程序可能无限循环，但如果你用语言给它一个字符串，它保证总是最终接受。
如果语言是图灵可识别的语言的补充，那么这种语言在图灵识别中是正确的，但这个定义并没有对正在发生的事情有所了解。直观地说，如果一种语言是共同图灵识别的，那就意味着有一个计算机程序，如果该语言中的字符串不是，最终将确认该字符串不在该语言中。但是，如果字符串确实在语言中，它可能无限循环。这样做的原因很简单 - 如果某个字符串w不包含在用图灵可识别的语言中，则该字符串w必须包含在该图灵可识别语言的补充中，（根据定义）必须使用是图灵可识别的。由于w在图灵可识别的补码中，必须有一些程序可以确认w确实在补体中。因此，该程序可以确认w不是原始的图灵可识别语言。
简而言之，图灵可识别性意味着有一个程序可以确认字符串w是一种语言，并且共同图灵可识别性意味着有一个程序可以确认字符串w是不是的语言。
希望这有帮助！
答案 1 :(得分：0)
让我说说可决定和共同决定为什么用一些不同的用法词表示相同的含义。在这里经历过，如果我走错路了，请告诉我：
如果我们有一组形成L的字符串S，那么S’将形成L’。现在，L是可确定的，这意味着我们有算法/ TM可以确认任何字符串s∈S属于L且s'∈S'不属于L。相同的算法将告诉我们s∈S不属于L'和s '∈S'属于L'。换句话说，我们对L’的定义完全相同。因此，决定性语言概念的补充没有如此不同的含义。因此，可以决定的语言和共同决定的语言被认为是相同的。
答案 2 :(得分：-1)
语言是可识别的，如果有图灵机停止并仅接受该语言中的字符串，并且对于不在该语言中的字符串，则TM要么拒绝，要么根本不停止。注意：不要求图灵机停止使用不在语言中的字符串。
如果有图灵机接受语言中的字符串并拒绝不在语言中的字符串，那么语言就是可判定的。