O pseudocódigo apresentado a seguir representa a pesquisa de um elemento em um vetor ordenado, de forma recursiva, segundo o processo conhecido como pesquisa binária.
global var valores: vetor [1..10] de inteiro função bin ( pos_ini, pos_fim, x: inteiro )
var p, v: inteiro início se pos_ini > pos_fim então retorne -1 senão p <- (pos_ini + pos_fim) / 2 v <- valores[p] se v = x então retorne p senão se v < x então
retorne bin (p+1, pos_fim, x)
senão
retorne bin (pos_ini, p-1, x)
fim se fim se fim se fim função
Considere o conjunto {4, 5, 8, 9, 14, 16, 17, 20, 23, 25} no vetor global valores, índice inicial 1 e final 10, e divisão entre inteiros truncando a parte decimal.
Com a chamada bin (1, 10, 20), o retorno da posição do número 20 ocorre após a função bin ser executada, incluindo a chamada inicial: