semi-decidable
semi-decidable adjective: 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".
Adjective
semi-decidable (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".
- Synonyms:
- recursively enumerable
Synonyms of semi-decidable
Forms of semi-decidable
| alternative form | semidecidable |
|---|
Origin of semi-decidable
From semi- + decidable.
Questions about semi-decidable
- What does semi-decidable mean?
- Semi-decidable means 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".
- What part of speech is semi-decidable?
- Semi-decidable is an adjective.
Words near semi-decidable in the dictionary
Source and license
Adapted from Wiktionary: semi-decidable (page history and authors). Text available under the Creative Commons Attribution-ShareAlike 4.0 license. Word.ws reformatted the entry and added links. Wiktionary data of 2026-09-02.
Last updated:
Cite this entry: “semi-decidable.” Word.ws, https://word.ws/semi-decidable. Based on Wiktionary, CC BY-SA 4.0.
