Consider the following claim:
Prove or disprove: If $L_a$ is Turing-recognizable and $L_b$ contains (or equal to) La, then $L_b$ is recognizable.
I'd love to get a hint or a direction
Thanks in advance
Consider the following claim:
Prove or disprove: If $L_a$ is Turing-recognizable and $L_b$ contains (or equal to) La, then $L_b$ is recognizable.
I'd love to get a hint or a direction
Thanks in advance
Hint: the empty language is clearly Turing recognizable.