ADT Stack (pila)
Uno stack è una sequenza di elementi di un determinato tipo, in cui è possibile aggiungere o togliere
elementi, uno alla volta, esclusivamente da un unico lato (top dello stack). Questo significa che la sequenza
viene gestita con la modalità detta LIFO (Last-in-first-out) cioè l’ultimo elemento inserito nella sequenza
sarà il primo ad essere eliminato.
Lo stack è una struttura dati lineare, omogenea, a dimensione variabile in cui si può accedere direttamente
solo al primo elemento della lista. Non è possibile accedere ad un elemento diverso dal primo, cioè quello
che è stato inserito per ultimo, se non dopo aver eliminato tutti gli elementi che lo precedono (cioè che
sono stati inseriti dopo).
Gli elementi di un ADT lista possono essere analizzati uno per uno, in modo sequenziale, mentre in uno
stack ciò non si può fare.
Specifica sintattica e semantica
- Specifica sintattica: il tipo di riferimento è il tipo stack mentre i tipi usati sono item e boolean.
Operatori
newStack() → stack
emptyStack(stack) → boolean
push(elem, stack) → stack
pop(stack) → stack
top(stack) → item
- Specifica semantica: stack è l’insieme delle sequenze 𝑆 = 𝑎1, 𝑎2, … , 𝑎𝑛 di tipo item. L’insieme stack
contiene inoltre un elemento nil che rappresenta la pila vuota (priva di elementi).
Operatori
newStack() → s
Post: s = nil
emptyStack(s) → b
Post: se s=nil allora b = true altrimenti b = false
push(e, s) → s’
Post: s = <a1, a2, … an> AND s’ = <e, a1, a2, …, an>
pop(s) → s’
Pre: s = <a1, a2, …, an> n>0
Post: s’ = <a2, …, an>
top(s) → e
Pre: s = <a1, a2, …, an> n>0
Post: e = a1
Implementazione con array:
Tra le possibili implementazioni, le più usate sono realizzate tramite array e lista concatenata. Come si può
notare nel caso dell’ADT stack è efficiente anche un’implementazione con array, contrariamente a quanto
visto con le liste, questo perché in questo caso non sono necessari shift tra elementi per inserirne o
rimuoverne altri ma bisogna lavorare solo sul primo elemento.
