Answered step by step
Verified Expert Solution
Link Copied!

Question

1 Approved Answer

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

blur-text-image

Get Instant Access to Expert-Tailored Solutions

See step-by-step solutions with expert insights and AI powered tools for academic success

Step: 2

blur-text-image

Step: 3

blur-text-image

Ace Your Homework with AI

Get the answers you need in no time with our AI-driven, step-by-step assistance

Get Started

Recommended Textbook for

Databases Illuminated

Authors: Catherine Ricardo

2nd Edition

1449606008, 978-1449606008

More Books

Students also viewed these Databases questions