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.
使用了功能合一語法對描述系統(tǒng)，對系統(tǒng)中采用的匹配算法、語法分析及可判定性分析進行了討論。
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.
討論了在邏輯程序系統(tǒng)中處理表達式的等式擴展方法，描述了表達式建立類型并在重寫機制的基礎上改進傳統(tǒng)的合一操作，實現(xiàn)了高效的等式邏輯。