DFSM analysis of Pac-Man