- 递归 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
"查查词典"手机版
千万人都在用的超大词汇词典翻译APP
Last modified time:Tue, 19 Aug 2025 00:29:56 GMT