詞語：decidable
decidable的解釋
decidable[di'saidəbl]adj. 可決定的
decidable的意思
decidable 可決定的;可判定的;可解;可判定;decidable language 可解語言;recursively decidable 遞歸可判定;decidable proposition 可決策命題;entscheidbar decidable 不可判定的;
decidable的參考例句
1.For the decidable cases of arithmetical sentences, we give the upper and lower bounds of their computational complexity. 對具可決定性的算術句型，我們並給出了其計算繁度的上界與下界。
2.Description Logics(DLs) is a decidable subset of first-order predication logic which possesses powerful function of knowledge expressing and reasoning. 描述邏輯是一階謂詞邏輯的可判定子集，具備強大的知識表示和推理功能。
3.First the safety problem in general UCONA models undecidable, then showed the UCONA model with finite attribute domains and without creating policies to be decidable. 然後在限定屬性值範圍和無生成策略的條件下，說明了安全問題的確定性；