1. Write a code for a DFA M_1 that recognizes the @lang of strings over \S={a,b} such that >> L(M_1)={w:|{w} is a multiple of 3}.

2. Write a code for a DFA M_2 that recognizes the @lang of strings over \S={a,b} such that >> L(M_1)={w:|{w} is even}.

3. Describe L(M_4) using set-builder notation. Write a set builder notation for L(M_4)

4. Describe ~{L(M_3)} using set builder notation. Write a set bulider notation for L(M_3)