2. Consider the following DFA M = {Q, E, 5,q0,F}: 0 Q = {A,B, C} 0 Z] = {0, 1} o 5 is given by the following table: _l|1l_ A B B C C C ('3be ' CIo = A F = {A B} (a) Using set-builder notation to express your answer, determine $(M). (b) Using state invariants, give a full proof that your answer to part (a) of this question is correct