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.

Quotient of languages<br />

If L1 and L2 are languages then<br />

L1/L2 = {x | ∃y∊L2 such that xy∊L1}<br />

It’s true that if L1 and L2 are regular so is L1/L2<br />

But here’s a stronger result<br />

If L is a regular language and S is an arbitrary<br />

set then L/S is regular<br />

Friday, February 8, 13

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

Saved successfully!

Ooh no, something went wrong!