Estudio
del Programa Ejemplo:
(1, 2, código)
código: X2:=X1;
While X2¹0 do
X1:=X1+1;
X2:=X2-1;
od
Como ya sabemos aquellas variables que no son de entrada se inicializan implícitamente a cero.Por lo que en un primer momento el valor de la variable X2 es cero.
Tras la primera instrucción el valor de la variable X2 es el de la variable de entrada X1.Observando el cuerpo del bucle apreciamos que en cada iteración se incrementa en una unidad el valor de la variable X1 y se decrementa el valor de la variable X2 en una unidad hasta que esta última alcance el valor nulo.En cuyo caso el bucle While finaliza de iterar.
Al finalizar el bucle se observa que la variable X1 vale el doble que su valor inicial por lo que este programa lo que calcula es la función f (x) = 2x.