递归可判定的英文

• recursively decidable

• "递归"英文翻译    recurrence; recursion
• "可"英文翻译    approve
• "判定"英文翻译    judge; decide; vote; determi ...
• "递归可枚举" 英文翻译 :    recursively enumerable set
• "递归可数集" 英文翻译 :    recursively countable set; recursively enumerable set
• "半可判定的" 英文翻译 :    semi-decidable
• "不可判定" 英文翻译 :    entscheidungsproblem
• "不可判定的" 英文翻译 :    entscheidbar decidable; entscheidend decidable; undecidable
• "不可判定性" 英文翻译 :    [数学] undecidability
• "可判定的" 英文翻译 :    decidable; decideable
• "可判定性" 英文翻译 :    decidability; entscheidungsproblem
• "可判定子句" 英文翻译 :    decidable subclause
• "可判定子类" 英文翻译 :    decidable subclass
• "递归可列举集" 英文翻译 :    recursively-enumerable set; recursively-enumerableset
• "递归可枚举集" 英文翻译 :    recursive enumerable; recursively enumerable set; recursively-enumerable set
• "递归可数集合" 英文翻译 :    recursively countable set
• "不可判定理论" 英文翻译 :    undecidable theory
• "不可判定问题" 英文翻译 :    infeasible decision problem
• "递归可枚举集合" 英文翻译 :    recursively enumerable set
• "递归可枚举语言" 英文翻译 :    recursively enumerable language; recursively-enumerable language
• "本质不可判定性" 英文翻译 :    essential undecidability
• "不可判定性定理" 英文翻译 :    undecidability theorem
• "可决定性 可判定性" 英文翻译 :    decidability
• "图灵可判定语言" 英文翻译 :    recursive language
• "无乘法算术的可判定性" 英文翻译 :    decidability of arithmetic without multiplication