我真的很难理解这两者之间的区别。从我的课本上看，它主要通过说来描述差异
如果一种语言是图灵可识别语言的补语，那么它就是图灵可辨认语言。
我想这个定义中我不理解的部分是：当它是图灵可识别语言的补充时，它意味着什么？
你如何确切地确定它是否是另一种语言的补语？
（注意，术语"图灵可判定"one_answers"共图灵可决定"是同一回事。然而，"图灵识别"one_answers"共同图灵可识别"是不一样的，正是这一点我决定在我的答案中涵盖。原因是，如果一种语言是可判定的，那么它的补码也必须是可判定。可识别语言也是如此。)
直观地说，如果有一些计算机程序，给定语言中的字符串，可以确认该字符串确实在该语言中，那么一种语言就是图灵可识别的。如果字符串不在该语言中，这个程序可能会无限循环，但如果你用该语言给它一个字符串，它肯定最终会被接受。
虽然如果一种语言是图灵可识别语言的补码，那么它确实是可共图灵识别的，但这个定义并不能说明发生了什么。直观地说，如果一个语言是可共图灵可识别的，这意味着有一个计算机程序，给定该语言中的字符串而不是，它最终会确认该字符串不在该语言中。不过，如果字符串确实在语言中，它可能会无限循环。原因很简单——如果某个字符串w不包含在一个可识别的共图灵语言中，那么该字符串w必须包含在该可识别的共同图灵语言的补码中，该补码（根据定义）必须是图灵可识别的。既然w在图灵可识别补码中，那么肯定有一些程序可以证实w确实在补码中。因此，这个程序可以确认w不是在最初的共同图灵可识别语言中。
简而言之，图灵可识别性意味着有一个程序可以确认字符串w在一种语言中，而共图灵可辨识性意味着存在一个程序，可以确认字符串w在该语言中是而不是。
希望这能有所帮助！
让我告诉你为什么decimatable和co-decimatable在一些不同的用法词中意思相同。在这里经验丰富，如果我走错了路，请告诉我：
如果我们有一组形成L的字符串S，那么S'将形成L'。现在，L是可判定的意味着我们有一个算法/TM，它可以确认任何字符串s∈s属于L，并且s’∈s’不属于L。同样的算法会告诉我们s∈s不属于L’，s‘∈s‘属于L’。换句话说，我们对L'有完全相同的定义。因此，对可判定语言概念的补充没有这样不同的意义。因此，判定语言和共判定语言都被认为是相同的。
一种语言是可识别的，如果有一个图灵机只会停止并接受该语言中的字符串，而对于不在该语言中，TM要么拒绝，要么根本不停止。注意：没有要求图灵机应该为不在该语言中的字符串停止。
一种语言是可判定的，如果存在一个图灵机，它将接受该语言中的字符串，并拒绝不在该语言中。