标签： finite-automata turing-machines computability countable
我知道如果存在一种语言的图灵机，那么这种语言是递归可枚举的，因此存在一个枚举程序。但是，如果一种语言是可数的，这是否意味着它必须有一个TM？
谢谢！
答案 0 :(得分：1)
集合Σ*是一个可数集合，因此它的所有子集都是可数的。这尤其意味着每个无限语言都是可数的，即使并非所有无限语言都是递归可枚举的。因此，存在无限多种无限语言的无限语言。
希望这有帮助！