$ E_ {LBA} $是图灵可识别的语言吗？

Question

我知道$ E_ {LBA} $ = {＆lt; M> | L（M）= \ emptyset} $是一种不可判定的语言，但它是否也可识别？似乎它的补码是可识别的，因为它可以枚举所有字符串并查看是否属于该语言。如果两者都是可识别的，那么$ E_ {LBA} $将是可判定的，但它不是，这使我认为它不可识别。这是真的吗？

Answer 1

实际上，接受空语言的所有图灵机编码的语言为：

• 无法确定，因为没有TM可以对使用该语言的字符串回答是，对于不使用该语言的字符串回答不是；
• 可共同递归枚举，因为有一个TM可以为非该语言的字符串回答否（使用燕尾处理，尝试所有TM上的所有字符串，您最终将为所有非该语言的字符串回答否）
• 不可递归枚举（或可识别），因为如果可以的话，考虑到我们知道它是可递归枚举的，这是可以决定的。