if M applied to w halts, and
Figure 12.1
Figure 12.2
From H' we construct another Turing machine . This new machine takes as
input w M and copies it, ending in its initial state q 0 . After that, it behaves exactly
like H’ . Then the action of is such that
if M applied to w M halts, and
if M applied to w M does not halt.
Figure 12.1
Figure 12.2
From H' we construct another Turing machine . This new machine takes as
input w M and copies it, ending in its initial state q 0 . After that, it behaves exactly
like H’ . Then the action of is such that
if M applied to w M halts, and
if M applied to w M does not halt.