vuoi
o PayPal
tutte le volte che vuoi
PILE
Il tipo PILA è un ADT <S,F,C> dove
– S = {pila, atomo, boolean} pila è il dominio di interesse atomo è il dominio degli
elementi che formano le liste
F = {push, top, empty, pop}
FUNZIONI
push : atomo x pila -> pila inserisce un elemento in cima alla pila
top : pila -> atomo ritorna l'elemento in cima alla pila
empty : pila -> boolean ritorna il valore vero se la pila è vuota
pop : pila -> pila ritorna la pila privata dell'elemento in cima
C = pila vuota, è la costante che denota la coda priva di elementi