{"id":"arxiv/2608.13273","url":"https://arxiv.org/abs/2608.13273","tags":["math.CO"],"score":0,"title":"A Finite Automaton Approach to Combinatorial Games","domain":"math.CO","source":"arxiv","authors":["Kai Liang"],"reviews":0,"subject":"math.CO","summary":"This study applies finite automata to the automatic solving of a variety of combinatorial games. For games whose positions and moves can be represented as regular languages and their operations, we design a two-stage automatic solving algorithm: first, construct a candidate finite automaton to determine the $\\mathcal{P}$- and $\\mathcal{N}$-positions, and then perform rigorous formal verification on this automaton; once verified, a complete solution of the game is obtained. For partizan octal games, we introduce a generalized misère quotient, overcoming the limitation that traditional theory…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-13","reactions":{}}