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.
McGraw-Hill Dictionary of Scientific & Technical Terms, 6E, Copyright © 2003 by The McGraw-Hill Companies, Inc.