semi-decidable (English, adj)
expansion: semi-decidable (not comparable)
Senses:
topics: computing
computing-theory
engineering
mathematics
natural-sciences
physical-sciences
sciences
glosses: 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".
tags: not-comparable
Forms:
form: semidecidable
tags: alternative