Es evidente que, si tenemos datos almacenados, es interesante disponer de algún mecanismo que permita saber si un cierto dato está entre ellos, y, en caso afirmativo, localizar la posición en que se encuentra para poder trabajar con el. Los mecanismos que realizan esta función son conocidos como algoritmos de búsqueda. 
El problema que se plantea a la hora de realizar una búsqueda (concretamente en un array) puede ser enunciado de la siguiente forma:
Supongamos que tenemos un arreglo a con n elementos (los índices son los 1. . . n) y pretendemos construir una función Búsqueda que encuentre un índice i de tal forma que a[i] = elem, siendo elem el elemento que se busca. Si no existe tal índice, la función debe devolver un cero, indicando así que el elemento elem buscado no está en el arreglo a.