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.
Proving new closure properties<br />
Method 1<br />
Use already derived closure properties<br />
Example: Closure under intersection<br />
We know<br />
1) Reg langs closed under ∪ and complement<br />
2) De Morgan’s laws<br />
If L1 and L2 are regular, so are<br />
C(L1) and C(L2) ..... closure under complement<br />
C(L1) ∪ C(L2) is regular ...... closure under ∪<br />
L1∩L2 = C(C(L1) ∪ C(L2)) ..... de Morgan<br />
and is regular by closure under complement<br />
Friday, February 8, 13