Pushdown Automaton - Graph View A type of automaton that augments a finite state machine with a stack, enabling it to recognize context-free languages. View concept details Related ConceptsState Machine Turing Machine Formal Methods Abstraction ← Back to full graph