Each rule includes two parts: a context free rewrite rule and a series of unification equations.

从形式上讲，一条短语结构规则包括两部分，产生式规则和合一等式。

youdao

The empirical equations must be under trying of unification in broad range.

经验等式被试着在广大的范围内统一。

youdao

This article present an unification arithmetic for a kind of mixture equations made up of some differential and algebra equations.

提出了一种求解微分代数混合方程组的统一算法，证明了统一算法所求出的懈与原方程组的解具有等价性。

youdao