decidability的意思_decidability的中文翻译|音标|读音|用法|例句

decidability

美：[dɪ´saɪdəblɪtɪ] 英：[dɪ´saɪdəblɪtɪ]

中文翻译

可决定性，可判定性

网络解释

可判断性; 可决定性; 决定性

英文短语

1.decidability problem [数]可判定问题

2.semi-decidability 半可决策性

3.computability decidability 可计算性

4.Decidability and undecidability 可判定下和不可判定性

5.decidability of boolean algebra 布尔代数的可判定性

6.decidability of arithmetic without multiplication 无乘法算术的可判定性

英文例句

1.The concept of algorithm is also used to define the notion of decidability.算法的概念，也用来界定概念的决定性。

2.The decidability of the model is proven and a decidability algorithm is presented.证明了该模型的可判定性，并给出了判定任意一个事件是否需要审计的算法。

3.We present a dense timed interval temporal logic and exploit the decidability problem of DTITL.定义了稠密时间区间时序逻辑，它是区间时序逻辑的一种实时扩充。

4.This paper is devoted to a proof of decidability on consistent structure and gives a rapid decision method.本文致力于相容结构的可判定性的证明并给出了一个快速的判定算法。

5.A model verification algorithm based on DTMA and the subset of DTMA modal logic is devised, and the decidability of the model verification is proved.对于DTMA与DTMA模态逻辑的子集给出了一个模型验证的算法，证明了验证算法的可判定性。

其他单词翻译

英文单词	中文含义
flowering	n. 开花；兴盛时期；成熟期；饰以花 adj. 开花的；有花的
flower-de-luce	n.鸢尾花网络解释鸢尾花; 鸢尾花香精
flowerless	adj. 无花的，隐花的网络解释无花的; 无花大师; 荼蘼
flowerlet	n. 小花
flowerlike	adj. 像花的网络解释象花的; 花状
flown	v. 飞( fly的过去分词 )；飞行；（旗）飘荡；过得快网络解释飞行; 飞了; 刚出巢的
flp	abbr.故障诊断仪表板（FaultLocationPanel）；快速链路脉冲（Fastlinkpulse）网络解释永久公司(Forever Living Products); 线性规划
flowrator	n.流量表；转子流量计；浮标式流量计网络解释浮标式流量计
flowerpot	n. 花盆，花钵网络解释花钵; 供应陶瓷花盆; 花瓶岛
flubber	n.飞天法宝（电影名）网络解释飞天法宝; 乌龙博士; 飞天伯
flps	abbr.故障诊断仪表板（FaultLocationPanel）；快速链路脉冲（Fastlinkpulse）网络解释程序语言加工系统; 多糖; 换件不满足次数
flows	v. 流( flow的第三人称单数 )；垂；流出；（谈话、文体等）流畅网络解释流程; 资金流; 流向
flowers	n. 花( flower的名词复数 )；花朵；开花植物；精华网络解释鲜花; 花朵; 繁花
flubbing	v. 搞坏( flub的现在分词 )；把…搞得一团糟；做得不好；弄糟网络解释说错，出错; 搞糟了; 做得不好
flucloronide	[化] 氟氯奈德; 氟二氯松网络解释氟氯奈德
flowers-of-an-hour	网络解释一小时的花朵
flowsheet	n.工艺流程图；程序框图网络解释流程; 流程图; 工艺流程图
flubdub	n. 空话，哗众取宠，（俗气得）艳丽服装网络解释空话; 夸大的空话
flucloxacillin	n.氟氯西林网络解释氟氯西林氧氟西林; 氟氯西林注射剂; 氟氯青霉素
flu	n. 流行性感冒，流感网络解释流行感冒; 流感病毒; 流行性感冒菌