查询词典 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 自动机、可计算性和复杂性涉及面更广、更理论化。

For the head-teacher of the class said that I had seriously broken the school rules,which led me to a three-day suspend class.

为什么呢？因为我的班主任说我严重的违反了校规，于是让我停课三天。

Many of them believe that the conversion of thousands of working-class folk in England spared that nation from the mass carnage and the tyranny that came with the revolution in France.

他们之中有许多人相信，在英国数以千计的劳工阶级之悔改信主使英国免於遭受如法国大革命所造成的大屠杀和专制暴政。