Halting Problem Formal Definition