【摘要】为了解决具有不同复杂度的博弈战略自动机是否具有等价性,需要剔除博弈战略自动机中的冗余策略。文章提出一种基于Mealy机的博弈战略化简算法。利用该算法,可以把不同复杂度战略的策略数目最小化,从而达到化简目的。进一步证明了采用该方法进行化简所得到的战略自动机与化简前战略自动机的等价性。