decidable是什么意思，decidable的意思翻译、用法、同义词、例句

常用词典

adj. 可决定的

You can validate absolutely any string that conforms to any decidable set of rules.

您可以彻底检查任何字符串是否符合任何可确定的规则集。

The restricted set of terms, becomes decidable , and moreover can be implemented very efficiently.

受限制的条款规定，成为可判定，并而且能非常有效地实施。

Reasoners for OWL DL, while dealing with a decidable sublanguage, will be subject to higher worst-case complexity.

而OWL DL的推理机处理的尽管是一个可判定的子语言，会有更高的最坏情况复杂度。

Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.

描述逻辑是一种知识表示的形式化语言，是一阶逻辑的可判定子集。

Their algorithm to find extensions is considered to be more efficient than the existing reconstruction procedure, and it is decidable .

我们提出的寻找外延的算法要比现有的重构过程更有效，且它是可判定的。

adj.|determinable;[数]可决定的

单词"decidable"是一个形容词，用于表示一个问题或命题是否可以被计算机算法解决。

The problem of whether a given program will halt is undecidable.(给定一个程序是否会停止的问题是不可判定的。）
The problem of determining whether a given number is prime is decidable.(判断一个给定的数字是否为质数的问题是可判定的。）

这个单词通常用于计算机科学和数学领域。在计算机科学中，decidable问题是指可以用一个算法来解决的问题，这个算法可以通过有限次计算和判断来得出正确答案。反之，undecidable问题是指无法用算法来解决的问题，或者说算法会陷入无限循环的问题。

在数学中，decidable问题也被称为可判定问题或可解问题。这类问题可以用一种有限的方法来得到正确答案，而不需要无限地尝试。

"decidable"这个单词的本意是"可判定的"，即可通过某种方法来判断一个问题的正确性。在计算机科学中，这种方法就是算法，而在数学中，这种方法可能是通过推理证明等方式得到正确答案。因此，"decidable"这个单词可以用来描述一个问题是否可以被计算机或人类解决。