ASL STEM

Definition

A pushdown store automaton is a specialized machine that has finitely many states, a read-once input, and a pushdown store memory. Items can be remembered on the pushdown store by adding them in a first-in, first-out fashion. Typically, these machines are nondeterministic.