本文的最后一部分将使用组合游戏来刻画行为等价关系。
In the last part of this thesis, we will characterize behavioral equivalences by combinatorial games.
组合游戏的刻画方法比游戏模板更为细致,而且更加接近等价性检测算法的设计。
The combinatorial games are much finer than game template in characterizing behavioral equivalences, and are much closer to the design of equivalence checking algorithms.
这三个领域的排列就像一个组合游戏,形成了不同的空间序列,也许能从中诞生一个单独的展区。
Like a combinatorial game, the permutations of these three areas generate sequences of different Spaces which possibly can come to create a single exhibition area.
The fact that I haven't seen this particular combination of words " isn't enough to make it interesting."
尽管我没见过这个特别的文字组合,但不足以让这个游戏变得有趣“
应用推荐