semi-decidable

形容词 adj.
中文释义

英文释义

形容词 adj.
  1. Of a set, such that there is a deterministic algorithm such that (a) if an element is a member of the set, the algorithm halts with the result "positive", and (b) if an element is not a member of the set, (i) the algorithm does not halt, or (ii) if it does, then with the result "negative". not-comparable

词形变化

semidecidable alternative

词源

Etymology tree
Proto-Indo-European *sem-
Proto-Indo-European *sēmi
Latin sēmi-bor.
English semi-
English decidable
English semi-decidable
From semi- + decidable.
0 次浏览 数据来源: Wiktionary