It is a type of finite automata which is equipped with a stack, and it uses this stack to store and retrieve data.