Geef een mapping reductie van A_{TM} naar HALT_{TM}: