In: Computer Science
Prove that if a language is not recursively enumerable, then its complement cannot be recursive. In this problem, you can use diagrams (black boxes with inputs and outputs to represent procedures and algorithms) as we used in class, in your proof. What can the complement be?