Stack
I valori memorizzati nella pila sono dello stesso tipo. Lo stack è una struttura di tipo LIFO, ovvero Last In First Out. L’ultimo che entra è il primo che esce.
Il nodo dello stack è equivalente a quello delle Liste.
Primitive
new_stack(): crea una nuova pila vuota -is_empty_stack(S): ritornatruese la pila è vuota -push(S, x): inserisce l’elementoxin testa -top(S): ritorna l’elemento di testa della pila, ma non lo elimina -pop(S): ritorna l’elemento di testa della pila e lo elimina -