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 gewahlt werden, dass sie die Anzahl der verbleibenden Rekursionsschritte angibt, bis die Rekursion terminiert.

Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.