Ad intuito con

2.Stack Creas(MAX SIZE) ::=
3.typedef struct {
4. int key:
5. //altri eventuali campi
6. } elemento;
7.
8.elemento stack[MAX SIZE];
9.int top=-1;
10.
11.Booleano Vuoto(Stack) ::= top<0;
12.Booleano Pieno(Stack) ::= top>= Max SIZE-1;

definisce il tipo di dato STACK, dapprima definendo il tipo elemento come una struct che con il campo key ed altri eventuali campi; poi definisce due ooperaioni supportate dallo STACK, operzioni che rstituiscono un Booleano, e servono a sapere se lo STACK è pieno (ovvero top è pari a Max SIZE-1) o è vuoto (top = -1). top è l'indice che unta all'ultimo elemento inserito nello stack ed è inizialiszzato a -1;

con elemento stack[MAX SIZE];

crea un array di MAX SIZE elementi che è lo stack, e che connterrà al massimo MAX SIZE elementi di tipo elemento. Commuqnue dovresti elggerti il libro, perche in genere quando usando dello pseudo codice all'inizio lo illustrano un po