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
Battle Creek, Michigan

... As of the census2 of 2000, there are 53,364 people, 21,348 households, and 13,363 families residing in the city. The population density is 481.1/km² ...

 
 
 
This page was created in 26.8 ms