INotion de pile en assembleur : d´efinitions th´eoriques et pratiques 2
Sch´ematiquement, une pile est une structure de donn´ees lin´eaire pour
laquelle les insertions et les suppressions d’´el´ements se font toutes du
mˆeme cot´e. On parle de structure LIFO : Last In First Out.
Plus formellement, on peut consid´erer un ensemble d’´el´ements Eet
noter Pil(E) l’ensemble de toutes les piles sur E. Par exemple, les
entiers peuvent constituer l’ensemble E; la pile vide P0est
dans Pil(E). Les op´erations usuelles sur une pile sont :
– estVide est une application de Pil(E) dans (vrai,faux), estVide(P)
est vrai si, et seulement si, Pest la pile P0.
– empiler est une application de E×Pil(E) dans Pil(E).
– depiler est une application de Pil(E)\P0dans Pil(E).
– supprimer est une application de Pil(E)\P0dans Pil(E).