Definitions
from Wiktionary, Creative Commons Attribution/Share-Alike License.
- adjective 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".
Etymologies
from Wiktionary, Creative Commons Attribution/Share-Alike License
semi- + decidable
Support
Help support Wordnik (and make this page ad-free) by adopting the word semi-decidable.
Examples
Sorry, no example sentences found.
Comments
Log in or sign up to get involved in the conversation. It's quick and easy.