7 views
Let $J = \{w \mid \text{either$w = 0x$for some$x \in A_{TM},$or$w = 1y\:$for some$y \in \overline{A_{TM}}\:\:$}\}$. Show that neither $J$ nor $\overline{J}$ is Turing-recognizable.
| 7 views