0 votes 0 votes Show that the halting problem, the set of $(M,w)$ pairs such that $M$ halts (with or without accepting) when given input $w$ is $RE$ but not recursive.$ ($See the box on "The Halting Problem" in Section $9.2.4)$ Theory of Computation ullman theory-of-computation halting-problem + – admin asked Jul 21, 2019 admin 207 views answer comment Share Follow See all 0 reply Please log in or register to add a comment.