What does "semi-decidable" mean?

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 is a synonym for "semi-decidable"?

Common synonyms include: recursively enumerable.

Semi-decidable

adj

adj ·Rare ·Advanced level

Definitions

Adjective

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

Synonyms

All synonyms

recursively enumerable

Etymology

From semi- + decidable.

More for "semi-decidable"

Synonyms Sentences Pronunciation Translate

Next best steps

Find stronger synonyms See usage examples Check pronunciation Browse writing guides

Data sourced from Wiktionary, WordNet, CMU, and other open linguistic databases. Updated March 2026.