To solve the problem, this paper proposes a new pattern unificationalgorithm, which time complexity is linear.
为了解决这个问题,本文提出一种新的模式合一算法,共时间复杂度为线性的。
2
It describes the system using the functional unification grammar and also discusses the matching algorithm, syntax analysis and decidable problem analysis.