Suppose that you are given an algorithm AF to decide the following language F:

F = { | Q halts on at least one input}.

Using AF as a subroutine, give an algorithm AH to decide H = {hP, wi | P halts on input w}.

Suppose that you are given an algorithm AF to decide the following language F:

F = { | Q halts on at least one input}.

Using AF as a subroutine, give an algorithm AH to decide H = {hP, wi | P halts on input w}.