Привет, сейчас готовлюсь к экзамену, в рамках которого мы доказываем Terminierung рекурсивных функций, где самое сложное - это подобрать Abstiegsfunktion, для которой нет определенных правил ее подбора. В свяхи с этим вопрос - может кто уже с этим связывался - может что посоветовать?? Спасибо.

Странный вопрос :)
Подбери условие выхода из цикла :)
Все зависит от задачи... Ну или ищи способ определения количества свободной памяти на стеке и если ее (свободной памяти на стеке) мало, то выходи из рекурсии.

+ в некоторых компиляторах/интерпретаторах ограниченая глубина рекурсии ,
например у пайтона 1000 , по умолчанию.

в некоторых компиляторах ... ограниченая глубина рекурсии
------
Не видел такого. Есть ограничения на размер стека, но не на количество рекурсивных вызовов функции...

А я видел , у Пайтона .

Это тебе от разработчика:
> > The SRE recursion removal patch is finally in. Please, let me know
> > if you find any problems.
>
> What is the purpose of the USE_RECURSION #define? It looks to me like
> you have added a lot of dead code; I recommend to remove all this code.
If you enable USE_RECURSION it will become recursive again, so it's
nice to see if some problem is related to the non-recursive algorithm
or not, and makes it easy to understand to change made.
The "dead" code you're talking about is probably the unused macros,
right? I've used them in some ideas, and gave up later. OTOH, they may
be used in further extensions. If you don't mind, I'd rather leave them
there, than thinking about it again if I need it. But if they're really
a problem, well, I'll remove. Just let me know.