Suppose that you are given an algorithm


#1

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}.