递归可枚举语言-一流百科

递归可枚举语言

递归可枚举语言在数学、逻辑和计算机科学中，一种形式语言被称为递归可枚举的（也可识别的、部分可判定的、半可判定的、图灵可接受的或图灵可识别的）如果它...

词条百科