Encyclopedia > Push-down automaton

  Article Content

Pushdown automaton

Redirected from Push-down automaton

Pushdown automata are abstract devices defined in automata theory. They are similar to finite automata, except that they have access to a potentially unlimited amount of memory in the form of a single stack. Pushdown automata exist in deterministic and non-deterministic varieties, and the two are not equipotent. Every pushdown automaton accepts a formal language. The languages accepted by the non-deterministic pushdown automata are precisely the context-free languages.

If we allow a finite automaton access to two stacks instead of just one, we obtain a device much more powerful than a pushdown automaton: it is equivalent to a Turing machine.

All Wikipedia text is available under the terms of the GNU Free Documentation License

  Search Encyclopedia

Search over one million articles, find something about almost anything!
  Featured Article
Thomas a Kempis

... sent to the school at Deventer conducted by the Brethren of the Common Life[?]. He became skilful as a copyist and was thus enabled to support himself. Later he was ...

This page was created in 34.1 ms