ATM = {<M, w> | M accepts w| HALT TM= {<M,w | M halts on w|
Can you describe any TM M and its input w, so that M on w goes to q-accept, but M on w does not halt? Can you describe any TM M and its input w, so that M on w does not go to q-accept, but M on w does halt?
Can you describe any TM M and its input w, if possible, that is a yes of both ATM and HALT TM? Also give a TM, M and its input w such that it is not ATM as well as Halt tm?
Get Answers For Free
Most questions answered within 1 hours.