検索結果- 英語 - 多言語
検索内容:
decides
decider
(of a controversy, question, etc) A person, divinity, or authoritative text which decides. / (chiefly Britain, Australia, sports) An event or action which decides the outcome of a contested matter.
decidable
capable of being decided. / (computer science) describing a set for which there exists an algorithm that will determine whether any element is or is not within the set in a finite amount of time.
deciders
decide
to make a choice about something or choose after thinking
( present singular third-person )
( participle present )
( participle past )
( past )
semi-decidability
semi-decidable
(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".