semi-decidable love

Definitions

from Wiktionary, Creative Commons Attribution/Share-Alike License

  • adj. 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

Examples

    Sorry, no example sentences found.

Comments

Log in or sign up to get involved in the conversation. It's quick and easy.