next up previous contents
Next: Un exemple Up: L'expression du non-déterminisme Previous: L'expression du non-déterminisme

Un exercice

if
   a < b -> a := a+1;
   []
   a > 0 -> a := a-1;
fi
do
   a < b -> a := a+1;
   []
   a > 0 -> a := a-1;
od

après DO avant après IF
a b a b a b
boucle infinie 5 10 6,4 10
0 -10 5 -10 4 -10
boucle infinie -5 10 -4 10
-5 -10 -5 -10 échec



Alain GRIFFAULT
2002-02-11