semi-decidable

See also: semidecidable

English

semi- +‎ decidable

semi-decidable (not comparable)

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

单词	semi-decidable
释义	semi-decidable See also: semidecidable English Alternative forms semidecidable Etymology semi- +‎ decidable Adjective semi-decidable (not comparable) (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 recursively enumerable See also semi-decidable on Wikipedia.Wikipedia
随便看	chūkanken chūka soba chūkei chūkeihōsō chūkenshu chū...khai-sí chūki chūko chūkoku chūkǒu chūkǒuchéngzhāng chūkǒuliàng chūkǒushāng chūkǒu'é chūliàn chūlái chūlèibácuì chūlì chūlóng chūlù chūlú chūlǎozú chūmiàn chūmiáo chūmoku