CAJ | 학술논문

为了解决具有不同复杂度的博弈战略自动机是否具有等价性，需要剔除博弈战略自动机中的冗余策略。文章提出一种基于Mealy机的博弈战略化简算法。利用该算法，可以把不同复杂度战略的策略数目最小化，从而达到化简目的。进一步证明了采用该方法进行化简所得到的战略自动机与化简前战略自动机的等价性。
위료해결구유불동복잡도적박혁전략자동궤시부구유등개성，수요척제박혁전략자동궤중적용여책략。문장제출일충기우Mealy궤적박혁전략화간산법。이용해산법，가이파불동복잡도전략적책략수목최소화，종이체도화간목적。진일보증명료채용해방법진행화간소득도적전략자동궤여화간전전략자동궤적등개성。