En [Vil96] se da una definición del TAD Pila, que adaptamos y presentamos a continuación:
TAD Pila [X]
Inicializadoras | inicPila: -> Pila | Retorna una pila vacía |
Constructoras | adicPila: Pila x X -> Pila | Agrega el elemento de tipo X a la pila que recibe y retorna la nueva pila así formada |
Selectoras | elimPila: Pila -> Pila | Devuelve la pila recibida sólo que sin su primer elemento |
infoPila: Pila -> X | Devuelve el primer elemento de la pila que recibe | |
esPilaVacia: Pila -> BOOL | Devuelve TRUE si y solo si la pila que recibe es vacía |