Hello all,
I saw an interesting question and i was wondering how to solve it. basically the subject i am having trouble with is going from equivalence classes of $R_L$ to building a DFA.
The question:
L is a language over {0,1}, for which the equivalence classes of $R_L$ are:
$ \{w|\#_0(w) \is\ even\ and\ \#_1(w) \ is\ even\}$
$ \{w|\#_0(w) \is\ even\ and\ \#_1(w) \ is\ odd\}$
$ \{w|\#_0(w) \is\ odd\ and\ \#_1(w) \ is\ odd\}$
$ \{w|\#_0(w) \is\ odd\ and\ \#_1(w) \ is\ even\}$
additional information: $\epsilon \in L$ and $0, 1, 1110 \not \in L$
how do you go from equivalence classes to finding the DFA? don’t understand it.
thank you very much for your help