Voici une procédure récursive. Ne cherchez pas à savoir ce qu'elle fait : elle ne fait rien de cohérent. Considérez qu'elle résout un problème qui porte sur un intervalle non vide [D, F] (D ≤ F) d'un tableau :

procedure P (↓ T : TTableau, ↓ D : entier, ↓ F : entier)

Début

Si ...    // Une ou plusieurs exceptions

...

...

Sinon  // Cas général

Si T [D] > T [D+1] 

P (T, D+1, F-1)

Sinon

P (T, D, F-2)

FSi

FSi

Fin

Compte tenu du cas général, sélectionnez les exceptions les plus probables.