che prescrive la sommatoria di <espressione>1 per <variabile> che varia nell'intervallo tra <espressione>2 e <espressione>3 a partire da <espressione>2 con passo <espressione>4 (il passo si assume positivo). Se il valore di <espressione>2 è maggiore di quello di <espressione>3 il valore della sommatoria è zero. Si vuole uno schema discendente deterministico che generi il codice per il linguaggio detto. Si assume che <espressione>2, <espressione>3, <espressione>4 non contengano l'identificatore <variabile>, mentre <espressione>1 potrà contenerlo. Si vuole che il codice ricalcoli l'espressione <espressione>1 a ogni iterazione solo se <espressione>1 usa l'identificatore <variabile>.
che valuterà al valore di 3 * a + 35
che valuterà al valore di 5 * (a + b)
|