Un algoritmo debe cumplir diferentes propiedades:

1. Especificacin precisa de la entrada. La forma ms comn del algoritmo

es una transformacin que toma un conjunto de valores de entrada y
ejecuta algunas manipulaciones para producir un conjunto de valores de
salida. Un algoritmo debe dejar claros el nmero y tipo de valores de
entrada y las condiciones iniciales que deben cumplir esos valores de
entrada para conseguir que las operaciones tengan xito.

2. Especificacin precisa de cada instruccin. Cada etapa de un algoritmo
debe ser definida con precisin. Esto significa que no puede haber
ambigedad sobre las acciones que se deban ejecutar en cada momento.


3. Exactitud, correccin. Un algoritmo debe ser exacto, correcto. Se debe
poder demostrar que el algoritmo resuelve el problema. Con frecuencia,
esto se plasma en el formato de un argumento, lgico o matemtico, al
efecto de que si las condiciones de entrada se cumplen y se ejecutan los
pasos del algoritmo, entonces se producir la salida deseada. En otras
palabras, se debe calcular la funcin deseada y convertir cada entrada a la
salida correcta.
Un algoritmo se espera que resuelva un problema.

4. Etapas bien definidas y concretas. Un algoritmo se compone de una
serie de etapas concretas, lo que significa que la accin descrita por esa
etapa est totalmente comprendida por la persona o mquina que debe
ejecutar el algoritmo. Cada etapa debe ser ejecutable en una cantidad finita
de tiempo. Por consiguiente, el algoritmo nos proporciona una receta para
resolver el problema en etapas y tiempos concretos.

5. Nmero finito de pasos. Un algoritmo se debe componer de un nmero
finito de pasos. Si la descripcin del algoritmo consta de un nmero infinito
de etapas, nunca se podr implementar como un programa de computador.
La mayora de los lenguajes que describen algoritmos (espaol, ingls o
pseudocgio) proporciona un mtodo para ejecutar acciones repetidas,
conocidas como iteraciones, que controlan las salidas de bucles o
secuencias repetitivas.






6. Un algoritmo debe terminar. En otras palabras, no puede entrar en un
bucle infinito.


7. Descripcin del resultado o efecto. Por ltimo, debe estar claro cul es la
tarea que el algoritmo debe ejecutar. La mayora de las veces, esta
condicin se expresa con la produccin de un valor como resultado que
tenga ciertas propiedades. Con menor frecuencia, los algoritmos se
ejecutan para un efecto lateral, como imprimir un valor en un dispositivo de
salida. En cualquier caso, la salida esperada debe estar especificada
completamente.


http://www.slideshare.net/Silvanac/algoritmos-y-programas-unidad1
http://robotica.uv.es/pub/Libro/PDFs/CAPI3.pdf