是否存在仅由1个元素组成的非RE语言？

Question

我读过一本书（Hromkovic，通信复杂性和并行计算），有无数种非递归的-可枚举（非RE）语言仅由1个元素组成？但这有可能吗？我虽然要使语言成为非RE（甚至是不确定的）语言，但它必须是无限的。

Answer 1

否，所有有限语言都是常规语言，因为有限自动机可以接受它们。您所阅读的内容至少有三种解释：

1. 作者写了些不同的东西，而您的解释不正确；
2. 作者可能使用了草率的术语，写出了他们想要的以外的东西；
3. 由于对主题不属于其专业的误解，作者写错了一些东西。

如果您引用相关文章，则有可能探讨这些选项中最有可能的一种。请注意，每个人都会犯错误-阅读书籍的人和写书籍的人都一样。另请注意，我使用作者而不是作者，因为这段文字很可能是由一位作者孤立撰写的，因此没有得到适当的审查。