semi-decidable

See also: semidecidable

English

Alternative forms

Etymology

semi- +‎ decidable

Adjective

semi-decidable (not comparable)

  1. (computing theory) 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

See also
This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.