adj.可决定的
P is also known to be at least as large as L , the class of problems decidable in a logarithmic amount of memory space. P 也已知至少大于L 一个可在对数量级的记忆体空间上决定的问题的类别。
Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic. 描述逻辑是一种知识表示的形式化语言,是一阶逻辑的可判定子集。
For the decidable cases of arithmatical sentences, we give the upper and lower bounds of their computational complexity. 对具可决定性的算术句型,我们并给出了其计算繁度的上界与下界。
Dynamic context and steady context are decid ed by the variability and steadiness of context factors. 它是与具体的语用行为密切联系的、同语用过程相始终的、对语用活动有重要影响的条件和背景 ;
They wanted to have a plant in it that was easy to take care of, so they decid... 于是,做冬成了一年中一个颇重要的家庭项目。