MIT AI/LCS HALTING PROBLEM