John’s Data Structures Week 8
Chapter 6: Stacks
1 . State three more axioms about the stack of T ADT .
For any stack s and element e, pop(push(s,e)) = s .
For any stack s and element e, top(push(s,e)) = e .
For any stack s, and element e, empty?(push(s,e))…