Discussion:Type abstrait

Heureux de voir que cet article est considéré comme étant un bon début puisque j'en ai rédigé la majeur partie. J'ai les compétences pour écrire sur le sujet, mais je ne vois pas quoi rajouter de plus. Serait-il possible de me donner des pistes pour le développer ou l'améliorer ?

AsTeRfr (d) 27 août 2008 à 11:02 (CEST)

L'article se concentre sur l'aspect "technique" des TAD. Je pense qu'il serait bon d'y ajouter un paragraphe sur le lien avec les méthodes formelles en général.

InsérerFin pour une Pile n'est pas LIFO

L'article mentionne (correctement) qu'une pile suit une politique d'accès LIFO (Dernier entré, premier sorti) mais propose dans les opérations du type abstraits une opération « InsérerFin ». Cela n'a pas beaucoup de sens. Une pile abstraite ne possède QUE les opérations create, top, push, pop et is_empty. S'il est vrai que n'importe quelle implémentation pourrait proposer d'autres opérations d'accès (comme InsérerFin), cela ne concerne pas le type Abstrait ! Simon l (discuter) 11 février 2021 à 22:06 (CET)

Je suis tout à fait d'accord avec ce commentaire.

De plus je pense qu'il faut distinguer le champ "Utilise" qui marque les dépendances entre les TDA et le champ "Paramètre" (à ajouter) afin de déclarer la généricité du TDA que l'on définit. Ainsi le TDA Pile devrait ressembler à :

Type abstrait : Pile

Paramètre : Élément

Utilise : Booléen

Opérations :

créer : $\rightarrow$ Pile

empiler : Pile $\times$ Élément $\rightarrow$ Pile

sommet : Pile $\rightharpoonup$ Élément

reste : Pile $\rightharpoonup$ Pile

estVide : Pile $\rightarrow$ Booléen

Pré-conditions : p $\in$ Pile

sommet(p) $\Rightarrow$ $\neg$estVide(p)

reste(p) $\Rightarrow$ $\neg$estVide(p)

Axiomes : p $\in$ Pile et e, f $\in$ Élément

(P1) sommet(empiler(p, e)) = e

(P2) reste(empiler(p, e)) = p

(P3) estVide(créer()) = vrai

(P4) estVide(empiler(p, e)) = faux Nicolasdelestre (discuter) 7 novembre 2022 à 10:59 (CET)