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.
使用了功能合一语法对描述系统，对系统中采用的匹配算法、语法分析及可判定性分析进行了讨论。
应用推荐