Meanings
alternative semidecidable
- not comparablecomputingOf 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 & antonyms
adjectiveOf 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".
Origin
- Proto-Indo-European*sem-
- Proto-Indo-European*sēmi
- Latinsēmi-
- Englishsemi-
- Englishdecidable
- Englishsemi-decidable
Cite this entry
semi-decidable. (n.d.). In WatkinsX Dictionary. Retrieved November 2, 2026, from https://dictionary.watkinsx.com/word/semi-decidable
“semi-decidable.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/semi-decidable. Accessed November 2, 2026.
WatkinsX Dictionary, s.v. “semi-decidable,” accessed November 2, 2026, https://dictionary.watkinsx.com/word/semi-decidable.
Source: semi-decidable on Wiktionary, CC BY-SA 4.0.