unification algorithm

基本解释

• [计算机科学技术]统一算法统一演算法

英汉例句

双语例句

• To solve the problem, this paper proposes a new pattern unification algorithm, which time complexity is linear.
  为了解决这个问题，本文提出一种新的模式合一算法，共时间复杂度为线性的。
• It describes the system using the functional unification grammar and also discusses the matching algorithm, syntax analysis and decidable problem analysis.
  使用了功能合一语法对描述系统，对系统中采用的匹配算法、语法分析及可判定性分析进行了讨论。
• The equation logic is implemented efficiently by building the description of the type and improving the unification algorithm on the base of the rewriting mechanism.
  讨论了在逻辑程序系统中处理表达式的等式扩展方法，描述了表达式建立类型并在重写机制的基础上改进传统的合一操作，实现了高效的等式逻辑。

• unification algorithm更多例句

词组短语

短语

• complete unification algorithm [计]完全一致算法;翻译;完全一致算法英语
• a unification algorithm 合一化算法
• extended unification algorithm 扩展的合一算法
• algorithm for unification [计]合一算法

• unification algorithm更多词组

专业释义

计算机科学技术

• 统一算法
• 统一演算法