09.01.2015 Views

Pushdown Automata - Hampden-Sydney College

Pushdown Automata - Hampden-Sydney College

Pushdown Automata - Hampden-Sydney College

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Example<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 />

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

Find a grammar for the language of the following PDA.<br />

(, ε → ( ), ( → ε<br />

ε, ε → $<br />

a, ε → ε<br />

ε, $ → ε<br />

+, ε → ε<br />

Assignment

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

Saved successfully!

Ooh no, something went wrong!