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.

The Grammar 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 />

Proof (⇐).<br />

Stack<br />

depth<br />

x, ε → a<br />

x, y → ε<br />

x, ε → z<br />

x, b → ε<br />

Short<br />

Example<br />

Assignment<br />

p<br />

r<br />

q<br />

State

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

Saved successfully!

Ooh no, something went wrong!