Considere o algoritmo a seguir, em que atribuição é indicada por :=; T.chave indica o campo-chave do registro T; pt 8.info representa o campo info de um registro no endereço contido em pt. e o nó-cabeça é apontado por ptlista.

função busca(x)

ultimo := ptlista 8 .anterior

se x !$ \le !$ ultimo 8 .chave então

pont := ptlista 8 .posterior

enquanto pont 8 .chave < x faça

pont := pont 8 . posterior

retorna ptlista

senão retorna pont

É correto afirmar que esse algoritmo busca um elemento em uma lista ordenada duplamente encadeada.