decidable

基本解釋

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 一個(gè)可在對(duì)數(shù)量級(jí)的記憶體空間上決定的問題的類別。
Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
描述邏輯是一種知識(shí)表示的形式化語言,是一階邏輯的可判定子集。
For the decidable cases of arithmatical sentences, we give the upper and lower bounds of their computational complexity.
對(duì)具可決定性的算術(shù)句型，我們并給出了其計(jì)算繁度的上界與下界。
Dynamic context and steady context are decid ed by the variability and steadiness of context factors.
它是與具體的語用行為密切聯(lián)系的、同語用過程相始終的、對(duì)語用活動(dòng)有重要影響的條件和背景 ;
They wanted to have a plant in it that was easy to take care of, so they decid...
于是，做冬成了一年中一個(gè)頗重要的家庭項(xiàng)目。