%0 Journal Article
%T A New Algorithm of Pattern Unification
一种新的模式合一算法
%A WANG Shu-Xi
%A ZHAO Xing-Qiu
%A LIU Rui-Lin
%A HUANG Jian-Qing
%A
王树西
%A 赵星秋
%A 刘瑞林
%A 黄健青
%J 计算机科学
%D 2006
%I
%X 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.
%K Pattern
%K Pattern Unification
模式
%K 模式合一
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=F6F2F5EDF12ACEF8&yid=37904DC365DD7266&vid=27746BCEEE58E9DC&iid=708DD6B15D2464E8&sid=73579BC9CFB2D787&eid=DABEF202280E7EF1&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=5