Ветка условного оператора рекурсивной функции, которая не делает следующий рекурсивный вызов.
бесконечная рекурсия
Рекурсивная функция, которая вызывает сама себя и никогда не достигает базового случая. В итоге это приводит к возникновению ошибки времени выполнения.
рекурсия
Процесс вызова функции, которая уже выполняется.
рекурсивный вызов
Оператор, вызывающий уже выполняющуюся функцию. Рекурсия может быть ненаправленной - функция f вызывает g, которая вызывает h, которая, в свою очередь, вызывает f.
рекурсивное определение
Определение, описывающее нечто в терминах самого себя. Чтобы быть пригодным к использованию, должно включать нерекурсивный базовый случай. В этом его отличие от кругового определения. Рекурсивные определния часто предоставляют элегантный способ выражения сложных структур данных.