The new algorithms combine the methods of equivalence with standard coordinate transformation techniques to solve a variety of problems that occur in applications.
新的运算法则结合了与标准坐标转换技术等效的方法，从而解决了在许多应用领域内出现的相关求解问题。
The combinatorial games are much finer than game template in characterizing behavioral equivalences, and are much closer to the design of equivalence checking algorithms.
组合游戏的刻画方法比游戏模板更为细致，而且更加接近等价性检测算法的设计。
应用推荐