Algoritmos y Programación en Pascal

15.1. Algoritmos de búsqueda en arrays 303
variaciones a otras estructuras secuenciales, como, por ejemplo, a los archivos
(véase el apartado 15.3).
El primer nivel en el diseño de la función BusquedaSec puede ser:
ind:= 0;
Buscar elem en v;
Devolver el resultado de la función
Refinando Buscar elem en v, se tiene:
repetir
ind:= ind + 1
hasta que v[ind] = elem o ind = n
Por último, refinando Devolver el resultado de la función se obtiene:
si v[ind] = elem entonces
BusquedaSec:= ind
si no
BusquedaSec:= 0
Una posible implementación de la funciónBusquedaSec siguiendo el esquema
de este algoritmo secuencial es:
function BusquedaSec(v: tVector; elem: tElem): tIntervalo;
{Dev. 0 (si elem no está en v) ó i (si v[i] = elem)}
var
i: tIntervalo;
begin
i:= 0; {se inicia el contador}
repeat
{Inv.: ∀ j, 0 ≤ j ≤ i ⇒ v[j] = elem}
i:= i + 1
until (v[i] = elem) or (i = N);
{v[i] = elem
if v[i] = elem then {se ha encontrado el elemento elem}
BusquedaSec:= i
else
BusquedaSec:= 0
end; {BusquedaSec}