$ E_ {LBA} $是圖靈可識別的語言嗎？

Question

我知道$ E_ {LBA} $ = {<M> | L（M）= \\ emptyset} $是一種不確定的語言，但是它也可以識別嗎？ 看來它的補語是可識別的，因為它可以枚舉所有字符串並查看是否屬於該語言。 如果兩者都可以識別，那么$ E_ {LBA} $是可以確定的，但事實並非如此，這使我認為這是不可識別的。 這是真的？

Answer 1

實際上，所有接受空語言的圖靈機編碼的語言都是：

• 不確定，因為沒有TM可以對使用該語言的字符串回答“是”，而對於不使用該語言的字符串回答“否”；
• 遞歸可枚舉，因為有一個TM對非語言的字符串回答“否”（使用燕尾處理，在所有TM上嘗試所有字符串，最終您對所有非語言的字符串回答“否”）
• 不可遞歸枚舉（或可識別），因為如果可以的話，考慮到我們知道它是可遞歸枚舉的，這是可以決定的。