Algoritmos y Programación en Pascal

1.2. Concepto de algoritmo 7
Principio
NO
a b a = 0 a ←a-1
1 2 3 4 5
2. Determinismo
6
7
b
Fin
Figura 1.2. Diagrama de flujo de la “suma lenta”.
S Í
b ←b+1
Todo algoritmo debe responder del mismo modo ante las mismas condiciones.
Por lo tanto, la acción de barajar un mazo de cartas no es un algoritmo,
ya que es y debe ser un proceso no determinista.
3. Finitud
La descripción de un algoritmo debe ser finita.
Un primer ejemplo
Consideremos el ejemplo que, expresado gráficamente, 2 aparece en la figura
1.2. El algoritmo descrito tiene por objetivo sumar dos cantidades enteras.
Si se anotan esas cantidades inicialmente en sendas casillas (a las que llamaremos
a y b para abreviar), este método consiste en ir pasando de a a b una unidad
cada vez, de forma que, cuando a = 0, el resultado será el valor de b.
Vemos un ejemplo de su funcionamiento con los datos 2 y 3 en la figura 1.3.
(Los números se han incluido para seguir mejor la evolución de los cálculos.)
Se observa que la descripción del algoritmo que se ha dado es, en efecto,
precisa (cada paso está exento de ambigüedad, así como el orden en que se debe
efectuar) y determinista (el efecto de cada paso es siempre el mismo para unos
datos concretos cualesquiera). Estas dos características son una consecuencia
del lenguaje escogido para expresar el algoritmo.
2 El lenguaje empleado es el de los diagramas de flujo, que estudiaremos en el capítulo 7,
apartado 7.2.1. Esperamos que, debido a su sencillez, el funcionamiento de este ejemplo resulte
comprensible directamente.