I'm confused about the idea of constructing a decider for a language and i need some help with it.
For example, if i have an enumerator M1 for a language L and another enumerator M2 for the complement of L, how do i construct a decider for L that uses both enumerator M1 and M2?
I understand that i would first introduce a Turing Machine with an input string and simulate it but I'm lost in the next stage of constructing a decider. By the way, enumerators are Turing Machines that outputs a sequence of strings.
Could anyone please explain on how do i construct a decider for the language L that uses both enumerators M1 and M2?