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.

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!