semi-decidable en · ADJ
Etymology
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.
Meanings
- (not-comparable) 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".
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| semidecidable | alternative | lexicographic |