In the theory of computation, a branch of theoretical computer science, a pushdown automaton is a type of automaton that employs a stack. Pushdown automata are used in theories about what can be computed by machines. They are more capable than... Wikipedia