Question
Are these two problems (1 and 2) partially equivalent in their description? 1) -HALT TM = { | P is a TM and P halts
Are these two problems (1 and 2) partially equivalent in their description?
1)-HALTTM= {
| P is a TM and P halts on input }. Show that -HALTTMis undecidable
2)ATM= { | M is a TM that accepts }. Show that ATMis undecidable.
The only difference between these two that I could see is that (2) does not cover the situation when it rejects and halts (i.e. it covers the accepts and halts) whereas (1) covers the both i.e. accepts & halts AND rejects & halts.
What could be a solution for (1)? Do we have to resolve it by Turing reduction or mapping reduction? Do we have to resolve it by reducing
ATMor HALTTM
to -HALTTM
Or there is some other possible way ? Please outline.
Step by Step Solution
There are 3 Steps involved in it
Step: 1
Get Instant Access to Expert-Tailored Solutions
See step-by-step solutions with expert insights and AI powered tools for academic success
Step: 2
Step: 3
Ace Your Homework with AI
Get the answers you need in no time with our AI-driven, step-by-step assistance
Get Started