 But because each method is only able to "see" some specific reasons for (non)termination, even through combination of such methods one cannot cover all possible reasons for (non)termination.Recursive functions and loops are equivalent in expression; any expression involving loops can be written using recursion, and vice versa.Thus the termination of recursive expressions is also undecidable in general.