unification algorithm

基本解釋

To solve the problem, this paper proposes a new pattern unification algorithm, which time complexity is linear.
為了解決這個(gè)問題，本文提出一種新的模式合一算法，共時(shí)間復(fù)雜度為線性的。
It describes the system using the functional unification grammar and also discusses the matching algorithm, syntax analysis and decidable problem analysis.
使用了功能合一語法對(duì)描述系統(tǒng)，對(duì)系統(tǒng)中采用的匹配算法、語法分析及可判定性分析進(jìn)行了討論。
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)中處理表達(dá)式的等式擴(kuò)展方法，描述了表達(dá)式建立類型并在重寫機(jī)制的基礎(chǔ)上改進(jìn)傳統(tǒng)的合一操作，實(shí)現(xiàn)了高效的等式邏輯。