semi-decidable

adj

Etymology

From semi- + decidable.

  1. derived from dēcīdere
  2. derived from decider
  3. inherited from deciden
  4. suffixed as decidable — “decide + able
  5. prefixed as semi-decidable — “semi + decidable

Definitions

  1. Of a set, such that there is a deterministic algorithm such that (a) if an element is a…

    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".

The neighborhood

Vish — recursive loop

No curated loop yet for semi-decidable. Loops are being traced one word at a time while the ingestion pipeline matures.

sense glosses and etymology drawn from English Wiktionary · source · CC-BY-SA