Lecture 3
Lecture 3
Lecture 3
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