Problem
Let A and B be disjoint languages, that is, A ∩ B = ∅. We say that the language C separates the languages A and B if A ⊆ C and B ⊆ C(Complement). We say that A and B are recursively separable if there is a decidable language C that separates A and B. Suppose that A(Complement) and B(Complement) are recognizable. Prove that A and B are recursively separable.
The response should include a reference list. Double-space, using Times New Roman 12 pnt font, one-inch margins, and APA style of writing and citations.