4 views
Can anyone explain how to reduce halting problem of TM (HTM) to acceptance problem of TM (ATM).....to prove ATM is undecidable because HTM is undecidable.......