#halting problem #computability #algorithm analysis #program termination #undecidable problem