I have seen a proof that $ E_{LBA}$ is not decidable. But is it al least turing recognizable? How to prove it?Read more