【发布时间】：2015-01-13 01:14:42
【问题描述】：
我知道，如果一种语言存在图灵机，那么该语言是递归可枚举的，因此存在一个枚举过程。但是，如果一种语言是可数的，那是否意味着它必须有一个 TM 呢？
谢谢！
【问题讨论】：
-
这个问题似乎是题外话，因为它是关于计算理论，而不是编程。
标签： finite-automata turing-machines computability countable
【发布时间】：2015-01-13 01:14:42
【问题描述】：
集合 Σ* 是一个可数集合，所以它的所有子集都是可数的。这尤其意味着每一种无限语言都是可数的，即使并非所有无限语言都是递归可枚举的。因此，有无数种无限的语言不存在 TM。
希望这会有所帮助！
【讨论】：