Let a and b be disjoint languages, that is, a ∩ b = ∅. prove that a
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. […]