Type abstrait de donnée

Bonjour, est-ce que vous pouvez me corriger cet exercice svp :

Enoncé :

Nous définissons une liste circulaire comme une suite finie et ordonnée d'objets.
1) Spécifier le type abstrait "LC" ( liste circulaire ), avec "objet" type prédéfini, comportant les opérations suivantes :
LC_vide
longueur : nombre d'objets LC
insérer : insérer un objet à un emplacement i
supprimer : supprimer le ième objet
successeur : donne l'objet suivant
prédécesseur : donne l'objet d'avant

(indication: définir seulement les axiomes relatifs aux opérations successeur et prédécesseur)

2) Donner la structure de données dynamique correspondante
3) Ecrire le sous-programme qui trie cette liste circulaire

Solution :

2) structure de données: est ce que c'est juste? svp
sorte LC

opération objet,entier
LC_vide : ------->LC
longueur : LC * objet --------> entier
insérer : LC * objet * i -------> LC
supprimer : LC * objet * i -------> LC
successeur : LC * objet ---------> objet
prédécesseur : LC * objet ---------> objet

axiomes : est-ce que vous pouvez m'aider pour les axiomes ?

3° Est-ce que vous pouvez me donner le sous-programme qui trie cette liste circulaire svp ?

Et est-ce que vous pouvez me donner des sites qui contiennent des exercices corrigés comme celui que je viens de donner et sur les listes, les piles, les arbres et les graphes SVP car j'ai un examen à passer.

Merci.

Bonjour

Pour ce qui est de ton ébauche de solution, ne connaissant pas la syntaxe que tu utilises, je me garderai de tout commentaire.

Axiome : c'est une affirmation vérifiable par tous mais non démontrable. Exemple : 1+1=2 est un axiome (on ne peut le démontrer mathématiquement).
Postulat (pour le plaisir) : affirmation (qu'on n'a pas besoin de vérifier) servant de base à un raisonnement. Si le postulat est approximatif, on peut arriver à un syllogisme. Mais là, ça nous éloigne du sujet. :D

Pour la question du tri, tu ne crois tout de même pas qu'on va répondre à ta place, non ? 8-)