decidability

IPA（発音記号）

名詞

可算名詞不可算名詞

(logic, computer science) The state or condition of being decidable.

日本語の意味

決定可能性：ある問題、命題、またはシステムが、決定手続き（アルゴリズムなど）によってその性質が判定可能である状態や条件

Researchers studied the decidability of the new formal system before attempting to implement it.

研究者たちは実装を試みる前に、新しい形式体系の決定可能性を調べた。

意味（1）

(logic, computer science) The state or condition of being decidable.

decidabilities

（ plural ）