22.04.2014 Views

Lecture 3

Lecture 3

Lecture 3

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.

Use to prove {0 n 1 n | n≥0} not reg<br />

EvilOne: Oh Yes it is regular!<br />

Me: OK, so give me p<br />

EvilOne (gives me a constant p)<br />

Me: You’ll agree s = 0 p 1 p ∊L with length ≥ p<br />

EvilOne: Of course<br />

Me: Now you split s = xyz according to the rules<br />

Friday, February 8, 13

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

Saved successfully!

Ooh no, something went wrong!