Ch4-Pushdown Automata

Ch4-Pushdown Automata - Digital State Machines Pushdown...

Info iconThis preview shows pages 1–8. Sign up to view the full content.

View Full Document Right Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: Digital State Machines Pushdown Automata 2/11/12 Veton Kpuska 2 Chapter Outline u Introduction of Pushdown Automaton u Languages of Pushdown Automaton (PDA) u Equivalence of PDAs and CFGs u Deterministic PDAs 2/11/12 Veton Kpuska 3 Pushdown Automata u The context-free languages have a type of automaton that defines them pushdown automaton . u Pushdown automaton (PDA) is an extension of the nondeterministic finite state automaton with -transitions. PDA is an -NFSA with the addition of a stack. u Stack is a structure that can be: n Read, n Pushed (into), and n Popped (from), only from its top (just like stack data structure). 2/11/12 Veton Kpuska 4 Definition of Pushdown Automata u PDA is a nondeterministic FSA with -transitions with one additional capability: a stack on which it can store a string of stack symbols. n Stack enables -NFSA to remember an infinite amount of information. n The information stored in the stack can be accessed in a last-in-first- out (LIFO) way. This is in contrast to a general-purpose computer which can access the information from any memory location. Finite State Control Input Accept/ Reject Stack 2/11/12 Veton Kpuska 5 Definition of Pushdown Automata u There are languages that could be recognized by some computer programs but are not recognizable by any pushdown automaton. u Pushdown automaton recognize all and only the context-free languages. 2/11/12 Veton Kpuska 6 Definition of Pushdown Automata Finite State Control: u Reads the Input one input symbol at a time. Pushdown automaton is allowed to: u Observe Symbol at the top of the stack u Base its transition on its: n Current State n Current Input Symbol, and n Current Symbol on top of the stack, or u Make a spontaneous transition based on . Finite State Control x y w Z Input Accept/ Reject Stack x y w Z0 2/11/12 Veton Kpuska 7 Definition of Pushdown Automata In one transition PDA: 1. Consumes from the input the symbol that it uses in the transition. If is used for input, then no input symbol is consumed. 2. Goes to a new state, which may or may not be the same as the previous state. 3. Replaces the symbol at the top of the stack by any string. The string could be 1 . , which corresponds to a pop of the stack, 2. Same symbol that appeared at the top of the stack previously (i.e., no change)....
View Full Document

Page1 / 71

Ch4-Pushdown Automata - Digital State Machines Pushdown...

This preview shows document pages 1 - 8. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online