QUESTION 1 Let S be the set of states that can be reached from the start state of a DFA over A. The definition of the equivalence relation of states is: For states s, t in S, s t if for all strings w in A*, OA either T(s, w) and T(t. w) are both final or both nonfinal O B. T(s, w) and T(t, w) are identical OC T(s, w) and T(t, w) are both nonfinal Ts, w) and T(t, w) are both final