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

Singer Leona Lewis and former Led Zeppelin guitarist Jimmy Page emerged as the bus transformed into a grass-covered carnival float, and the pair combined for a rendition of "Whole Lotta Love".

歌手leona刘易斯和前率领的飞艇的吉他手吉米页出现巴士转化为基层所涵盖的嘉年华花车，和一双合并为一移交&整个lotta爱&。

This is Kate, and that's Erin.

这是凯特，那个是爱朗。