La nocin de algoritmo es bsica en la programacin de computadoras. El diccionario
de la Real Academia Espaola lo define como conjunto ordenado y finito de operaciones que permite hallar la solucin de un problema. Otra definicin podra ser: procedimiento no ambiguo que resuelve un problema, entendiendo por procedimiento (informtico) una secuencia de operaciones bien definida. Hay que tener en cuenta que la arquitectura de una computadora permite la realizacin de un limitado conjunto de operaciones, todas ellas muy sencillas, tales como sumar, restar, transferir datos, etc. No todos los mtodos de solucin de un problema son vlidos para ser utilizados por una computadora. Para que un procedimiento pueda ser luego convertido en un programa ejecutable por una computadora, debe verificar las siguientes propiedades: 1. Un algoritmo debe finalizar tras un nmero finito de pasos. 2. Cada paso de un algoritmo debe definirse de un modo preciso. 3. Un algoritmo puede tener varias entradas, o ninguna. Sin embargo, al menos debe tener una salida: el resultado que se pretende obtener. Al hablar de entradas o de salidas nos referimos a la informacin (en forma de datos) que se le debe suministrar al algoritmo para su ejecucin, y la informacin que finalmente ofrece como resultado del proceso definido. 4. Cada una de las operaciones a realizar en el algoritmo debe ser lo bastante bsica para poder ser efectuada por una persona con papel y lpiz, de modo exacto en un lapso de tiempo finito.