Na análise do miniproblema do Jogo da Velha (em inglês, Tic-Tac-Toe), os estados representam qualquer combinação disposta sobre o tabuleiro de nove posições dos oponentes “X” e “O”, enquanto que o estado inicial seria o próprio tabuleiro vazio. Para a função sucessor, poderíamos definir da seguinte forma:

A Gera os estados válidos conforme a definição de uma função heurística.
B Gera os estados válidos a partir das jogadas de um único oponente, ou “X ou “O”.
C Gera os estados válidos a partir da colocação de um “X” ou um “O” de forma alternada e incremental.
D Gera todos os estados considerando jogadas em sequência de “X” ou “O”.
E Não gera qualquer estado e desconsidera todas as jogadas.