字典

reducible

reducible


基本解释:可归约[的]

网络释义


reducible

1)reducible,可归约[的]2)ground reducibility,基可归约性3)imputable,可归罪的4)reduction of a sentence,句子的归约;句子的归约5)irreducible rule set,不可归约规则集6)Turing reducibility,图灵可归约性

汉语字典(www.zxzidian.com)行业英语频道为您提供可归约[的]的英文是reducible,reducible的意思,reducible是什么意思等内容,如果您正在查询reducible缩写的全称、翻译、解释等信息,本页内容可供您参考

用法和例句


Several works suggest proving termination by using triggering and activation graphs at compile-time, and computing an irreducible rule set is the key technique.主动数据库中规则集的可终止性判定是一个重要问题,已经成为一个研究热点·有些研究工作提出了在编译阶段运用触发图和活化图的方法解决这个问题,其中的一个关键技术就是计算主动规则集的不可归约规则集·现有的计算方法由于具有一定保守性,使得计算出的不可归约规则集仍可进一步地归约,这无疑将影响到规则集的可终止性判定的准确性和运行阶段规则分析的效率·经过深入分析活化规则可无限执行的特点,提出了活化路径等概念·基于这些概念,提出了一个计算主动规则集的不可归约规则集的有效算法,使现有方法求得的不可归约规则集得到进一步的归约XwE汉语字典