На этом шаге мы дадим определение такой рекурсии.
- Определение.
-
Будем говорить, что в функции F присутствует рекурсия по значению и по аргументам, если выполнены два условия:
- в качестве результата функция возвращает значение другой функции G, при этом в вычислении аргументов этой функции участвует рекурсивный вызов F;
- в качестве результата возвращается значение функции F.
На следующем шаге мы рассмотрим технологию построения рекурсивных определений функций.
