Pushdown Automaton: CFL and the pumping lemma
Pushdown Automaton: CFL and the pumping lemma
Pushdown Automaton: CFL and the pumping lemma
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
From PDA to CFG<br />
context-free grammar<br />
✓<br />
pushdown automaton<br />
• First, we simplify <strong>the</strong> PDA:<br />
– It has a single accept state q f<br />
– $ is always popped exactly before accepting<br />
– Each transition is ei<strong>the</strong>r a push, or a pop, but<br />
not both<br />
17