push-down automaton

push-down automaton

[′pu̇sh‚dau̇n ȯ′täm·ə‚tän] (computer science) A nondeterministic, finite automaton with an auxiliary tape having the form of a push-down storage.