22.04.2014 Views

Lecture 3

Lecture 3

Lecture 3

SHOW MORE
SHOW LESS

Create successful ePaper yourself

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

L = {ww R | w ∊ (0+1) * } is not reg<br />

Proof: We need to give EvilOne a string in that<br />

cannot be pumped without leaving the language.<br />

Pumping must occur within p of beginning<br />

So choose s carefully with a beginning portion:<br />

that is clearly identifiable<br />

clearly makes s be of the required form<br />

breaks the defining property when it’s pumped<br />

Friday, February 8, 13

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

Saved successfully!

Ooh no, something went wrong!