[math-fun] Finite automata game