 It is closely related to the Halting problem, which is to determine whether a given program halts for a "given" input and which is undecidable.The termination analysis is even more difficult than the Halting problem