CS 3156 Section C, Fall 1998
Homework 2 -- due Friday, Oct. 9

1. Problem 1.12, page 85 of the text.

2. Problem 1.9, page 85 of the text.

3. Prove that the class of regular languages is closed under intersection. In other words, prove that if tex2html_wrap_inline24 and tex2html_wrap_inline26 are regular, then tex2html_wrap_inline28 is regular. (Hint: use De Morgan's law.)

4. Problem 1.15, page 86 of the text.

5. Problem 1.13 (a,b,f,i,j), page 86 of the text.

Extra credit. Let tex2html_wrap_inline30 be a language containing only strings of even length. The language tex2html_wrap_inline32 is defined by

displaymath22

Informally, tex2html_wrap_inline32 is the set of strings representing ``first halves'' of strings in L. Prove that, if L is a regular language containing only strings of even length, then tex2html_wrap_inline32 is regular.