A pushdown automaton differs from a finite automaton due to the presence of a _______ that helps in handling nested structures.
Show Hint
The formal definition of a PDA includes a "Stack Alphabet" ($\Gamma$), which is a set of symbols that can be pushed onto the stack, distinct from the input alphabet.