Salut! Est-ce que quelqu'un saurait donner l'invariant de boucle du programme suivant: (le programme teste si le mot est un palindrome)
Code : Sélectionner tout - Visualiser dans une fenêtre à part
1
2
3
4
5
6
7
8
9
10
11
12
int i:=0;
int j:=n-1;
boolean ok := true;
while i<=j ET ok, do
    if a[i]=a[j]
    then
        i=i+1
        j=j-1
    else
      ok:=false
    endif
done

Merci beaucoup!!!!!!!