Pushdown Automata - Hampden-Sydney College
Pushdown Automata - Hampden-Sydney College
Pushdown Automata - Hampden-Sydney College
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
The Start Symbol<br />
<strong>Pushdown</strong><br />
<strong>Automata</strong> -<br />
Equivalence<br />
to CFGs<br />
Robb T.<br />
Koether<br />
Homework<br />
Review<br />
Equivalence<br />
of PDAs and<br />
CFGs<br />
Proof ⇒<br />
Proof ⇐<br />
Long Example<br />
Short<br />
Example<br />
Assignment<br />
Proof (⇐), conclusion.<br />
Let q start be the start state and q accept be the accept<br />
state.<br />
Then the start symbol is A qstart q accept<br />
.<br />
If we can eventually replace the start symbol with all<br />
terminals, then the string of terminals must be in the<br />
language.<br />
Therefore, L(G) = L(M).