1) reducing a sentence to the sentence symbol
把句子归约为母符
2) reduction of a sentence
句子的归约;句子的归约
3) sentence symbol
句子符号
4) recursion clause
递归子句
1.
Theoretical analysis and experiment comparison show that this algorithm can reduce the search space,improve the search efficiency and can learn recursion clause.
理论分析与实验对比表明,该算法可有效缩小搜索空间,提高学习效率,并且可以学习递归子句,是一种有效的子句学习算法。
5) apodosis
[英][ə'pɔdəsis] [美][ə'pɑdəsɪs]
归结子句
6) Bounded Sentence
约束句子
补充资料：多项式空间归约
多项式空间归约
polynomial space reduction
duoxiangshi kongiian guiyue多项式空间归约(po.”0而目spacereduc·tion)一种特殊的、归约函数是多项式空间可计算的复杂性归约。 设Ll，LZ是万上的两个语言，若存在函数S:N~N，及S空间可计算函数f:艺肠~刃并，使得 (l)对任何x任乞’，xeLI当且仅当f(x)eLZ; (2)存在正整数C，使对任何xe艺.有s(}f(x)})(岱(}x})，则称Ll可S空间归约到LZ，记为Ll戳LZ。特别当限制s为多项式函数时，则称Ll可多项式空间归约到LZ。空间归约中较为重要的一种是限制S为对数函数吨，称之为对数空间归约，可对复杂性类进行更“细”的划分，特别是研究尸和N吨等复杂性类，其时间资源不超过确定的多项式时间时，多项式时间归约则无法对其进行分类。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条