pushdown-automaton Push down automaton that can check if a word belongs to the automaton. Supported accepting by accepting states or by emptying the stack.