可判定子句的英文

• decidable subclause

• "可"英文翻译    approve
• "判定"英文翻译    judge; decide; vote; determi ...
• "子句"英文翻译    clause
• "可判定子类" 英文翻译 :    decidable subclass
• "半可判定的" 英文翻译 :    semi-decidable
• "不可判定" 英文翻译 :    entscheidungsproblem
• "不可判定的" 英文翻译 :    entscheidbar decidable; entscheidend decidable; undecidable
• "不可判定性" 英文翻译 :    [数学] undecidability
• "递归可判定" 英文翻译 :    recursively decidable
• "可判定的" 英文翻译 :    decidable; decideable
• "可判定性" 英文翻译 :    decidability; entscheidungsproblem
• "假定子句, 断定子句" 英文翻译 :    posit clause
• "定子句文法" 英文翻译 :    definite clause grammar，dcg
• "定子句语法" 英文翻译 :    definite clause grammar, dcg
• "断定子句" 英文翻译 :    posit clause
• "确定子句" 英文翻译 :    definite clause
• "限定子句" 英文翻译 :    restricted clause
• "不可判定理论" 英文翻译 :    undecidable theory
• "不可判定问题" 英文翻译 :    infeasible decision problem
• "确定子句语法" 英文翻译 :    definite clause grammar
• "本质不可判定性" 英文翻译 :    essential undecidability
• "不可判定性定理" 英文翻译 :    undecidability theorem
• "可决定性 可判定性" 英文翻译 :    decidability
• "图灵可判定语言" 英文翻译 :    recursive language
• "无乘法算术的可判定性" 英文翻译 :    decidability of arithmetic without multiplication