We do not currently know of any synonyms for pushdown automaton.
The noun pushdown automaton is defined as:
An automaton with finitely many states that can also use one unbounded stack of memory; the automaton may only push, pop, or read the top of the stack. Abbreviation: PDA.