La structure de PILE - INFO-MPSI

La structure de PILE
Option Info - MPSI 2016
La structure de PILE

De quoi s’agit-il ?
Une pile d’assiettes ...
sommet
dépiler
empiler
LIFO = Last InFirst Out En anglais : STACK
La structure de PILE

Quelques Exemples
Mise en œuvre de la récursivité
Parcours en profondeur d’un arbre binaire
Langage PostScript
Historique des modifications (fonction “undo”)
Historique des pages web visitées
Vérification du parenthésage
Evaluation d’expression post-fixées
Calcul de l’enveloppe convexe par l’algorithme de Graham
La structure de PILE

Syntaxe
Constructeurs
new : unit →’a stack crée une pile (initialement vide)
push : ’a →’a stack →’a stack empile un élément
Sélecteur
pop : ’a stack →’a dépile l’élément au sommet
(erreur si pile vide)
Prédicat
is_empty : ’a stack →bool teste si une pile est vide
La structure de PILE

Implémentation 1
Enregistrement à deux champs :
un vecteur sur-dimensionné, pour stocker les données
un entier, pour indiquer le sommet de la pile
type ’a pile = {c : ’a vect ; mutable s : int} ; ;
→Taille et type de la pile sont fixés lors de sa création.
La structure de PILE