Semi-decidable Definition

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

Wiktionary

Origin of Semi-decidable

Find Similar Words

Find similar words to semi-decidable using the buttons below.

Words Starting With

Words Ending With

Unscrambles

semi-decidable