3. For each of the following language Li, give a formal definition OR a state diagram of a DFA Mi recognizing such language using product construction (=0,1) (*: optional): (a) Lc={ww contains an even number of 1 's or exactly two 0 's }