High Quality Content by WIKIPEDIA articles! Eine Abstiegsfunktion ist in der Mathematik und in der Informatik eine Funktion, mit der nachgewiesen werden kann, dass eine Rekursion terminiert. Zu einer rekursiven Funktion f: A to B wird eine Abstiegsfunktion g: A to D definiert, deren Wert mit jedem Aufruf von f abnimmt. Eine solche Abstiegsfunktion kann beispielsweise so gewählt werden, dass sie die Anzahl der verbleibenden Rekursionsschritte angibt, bis die Rekursion terminiert.