semi-decidable

From Wiktionary, the free dictionary
Jump to navigation Jump to search
See also: semidecidable

English[edit]

Alternative forms[edit]

Etymology[edit]

semi- +‎ decidable

Adjective[edit]

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[edit]

See also[edit]

Retrieved from "https://en.wiktionary.org/w/index.php?title=semi-decidable&oldid=51747498"