===========================================================================
CSC 363H              Tutorial Exercises for Week  7            Summer 2006
===========================================================================

 -  Review your answers to Term Test 1. Think of an alternate method to
    solve the last question.

 -  Recall HALT_TM = { <M,w> | M a TM and M halts on w }.
    Use a diagonalization proof to show that HALT_TM is undecidable.