Puzzles solved by dfa