一种新的模式合一算法

A New Algorithm of Pattern Unification

传统的模式合一,使用递归调用的方法,算法的时间复杂度是指数级的,因此,往往容易耗费大量的系统资源,从而造成系统的崩溃。为了解决这个问题,本文提出一种新的模式合一算法,共时间复杂度为线性的。实验结果表明,本算法可以有效地解决原来算法中存在的递归调用问题。

Traditional pattrn unification algorithm adopts the recursive method,which time complexity is exponential. Traditional pattern unification algorithm consumes so much system resourch that the system is easy to breakdown. To solve the problem, this paper proposes a new pattern unification algorithm, which time complexity is linear. Experiment result indicates that the new algorithm can successfully solve the recursive problem which exists in customary algorithm.