Limes-Erkennung rekursiver Funktionen durch spezielle Strategien