09.01.2015 Views

Pushdown Automata - Hampden-Sydney College

Pushdown Automata - Hampden-Sydney College

Pushdown Automata - Hampden-Sydney College

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Group 3 Rules<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 />

Example (Convert a PDA to a CFG)<br />

There are 6 rules in Group 3.<br />

A pp → ε<br />

A qq → ε<br />

A rr → ε<br />

A ss → ε<br />

A tt → ε<br />

A uu → ε

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!