查询词典 decidable

In the locational conditions, some have no relation, some have decidable function on the locational selection will which are called locational factors.

区位条件有的对区位选择意志起决定作用，有的毫无关系，那些起作用的区位条件就称为区位因子。

These dynamic description logics provide decidable reasoning mechanisms for the result of action execution. However, the procedure of action execution can not be described and reasoned about according to these logics.

在将语义Web服务建模为动作之后，动态描述逻辑从动作执行结果的角度提供了丰富的推理机制，但对于动作的执行过程却不能加以处理。

In the former representation, if no restrictions are imposed on formulas, then there is no algorithm to realize the reasoning in the resulted knowledge base; in the latter representation, the reasoning in the ontology represented by the description logic is decidable, while in general, for mathematical knowledge described by the first order logic which contains the ontology represented by the description logic, there is no algorithm to realize its reasoning.

在前者的表示中，如果对公式不作任何限制，那么得到的知识库中的推理不是可算法化的；在后者的表示中，以描述逻辑描述的本体中的推理是可算法化的，而以本体为逻辑语言的一部分的一阶逻辑所表示的数学知识中的推理一般是不可算法化的。

Decidable and undecidable problems, reducibility, recursive function theory.

本课程比18.400J 自动机、可计算性和复杂性涉及面更广、更理论化。

But we don't care about Battlegrounds.

但我们并不在乎沙场中的显露。

Ah! don't mention it, the butcher's shop is a horror.

啊！不用提了。提到肉，真是糟透了。