Précondition et Postcondition# Création # algorithme déclaration des objets début instructions... fin
Une précondition représente les états initiaux possibles des objets énoncés dans un problème à résoudre par un algorithme.
Tandis qu'une postcondition représente les états finaux de ces mêmes objets.
P : prédicat_préconditionnel, Q : prédicat_postconditionnel # a et b sont des chaînes à comparer lexicographiquement # P: a <> b, Q: c = max(a, b) # signifie que a et b sont strictement différents et qu'il faut écrire un algorithme pour déterminer le plus grand d'entre eux. # (c = a et c <> b) ou (c = b et c <> a) algorithme var a, b, c : chaîne; début si a > b alors c := a; sinon si b > a alors c := b; fsi; fin P: a >= b Q: c = max(a, b) algorithme var a, b, c : chaîne; (c = a et c >= b) ou (c = b et c < a) début si a >= b alors c := a; sinon c := b; fsi; fin P: n > 2, Q: factorielle = f(n) (f = 1 et n <= 2) ou (f = x et n > 2) fonction factorielle(n : entier) : entier; entier : i, f := 1; début pour i := 2 jusqu'à n faire f = f * i; fpour resultat f; ffonction