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?
Let us assume for contradiction that the language L's complement is recursive. Then according to the definition of recursive languages, there is a