Considere o algoritmo recursivo a seguir, descrito em pseudocódigo, onde V é um vetor contendo elementos comparáveis, n é o tamanho do vetor, inicio é a primeira posição do vetor, fim representa a última posição do vetor e e é o elemento que se deseja encontrar:

Algoritmo (V[], início, fim, e)
i recebe o índice do meio entre início e fim
se (v[i] = e) entao
devolva o índice i # elemento e encontrado
fim se
se (inicio = fim) entao
não encontrou o elemento procurado
senão
se (V[i] vem antes de e) então
faça a Algoritmo(V, i+1, fim, e)
senão
faça a Algoritmo(V, inicio, i-1, e)
fim se
fim se

O algoritmo em questão é conhecido como: