Let
$L=\{ \langle M \rangle \mid M \text{ is a Turing Machine which halts on all inputs}\}$.
Is this a Turing-recognizable language? I guess that it is neither Turing-recognizable, nor co-Turing-recognizable, but I can't prove it.
Asked
Active
Viewed 150 times
0
-
You can apply Rice's theorem. But more is true: in fact, $L$ is $\Pi_2$-complete. – Yuval Filmus May 15 '14 at 14:39
-
@Yuval Rice's theorem is about decidability, while this question is about semi-decidability. – FrankW May 15 '14 at 15:46
-
FrankW is right. Your language is also known as TOT, the language of total functions. If you spend some quality time with your favorite search engine you will find many hits, for example http://www.cs.uml.edu/~wang/cs502/NonRE.pdf. – Yuval Filmus May 15 '14 at 18:17
-
answers can be found here. Although chronologically first, I vote to close as dupe. – Ran G. Jun 03 '15 at 22:08
-
@FrankW, there is a stronger form of Rice's theorem which is about a set being c.e. – Kaveh Jun 05 '15 at 01:59