##### 递归可枚举语言 - 递归可枚举语言 - **递归可枚举语言**是由[[图灵机]]识别的语言类别, 如果一个语言是递归可枚举的, 那么存在一个图灵机能够在有限时间内接受该语言中的所有字符串. 核心特点是如果某个字符串属于某个递归可枚举语言, 则存在一个图灵机能接受它, 并最终停机. 但如果某个字符串不属于该语言, 图灵机可能会进入无限循环, 不一定会停机