效绵鼎 The Halting Problem Definition of the“Halting Problem”: HALT ={<M,x>TM M halts on input x ■Is HALT decidable?The Halting Problem ◼ Definition of the “Halting Problem” : HALT = { <M, x> | TM M halts on input x } ◼ Is HALT decidable?