Optimistic approach and game-theoretic foundations that deal with composition are the prominent characteristics of interface automata and are distinct from other formal methods.
接口自动机在处理组件组合问题时所使用的“乐观方法”和博弈思想是区别于其它形式化工具的关键点。
The rise of game - theoretic methods has already done much to cut economics free from this assumption.
后来赛局理论方法的兴起，相当程度地把经济学从这个假设切割出来。
应用推荐