计算机科学Turing 可识别语言本页总览Turing 可识别语言阐述 如果存在一个 Turing 机识别一个语言，则称它 是 Turing 可识别语言。 实例 ATMA_{\rm TM}ATM 是可识别的，但是 ATM‾\overline{A_{\rm TM}}ATM 不可以。 性质 相关内容 与可判定语言的关系 一个语言是可判定的，当且仅当它是 Turing 可识别的，而且它的补集也是 Turing 可识别的。 参考 文献