Оглавление
Повторная экскурсия
-
Основы рекурсии и коиндукции
- Рекурсия – это метод определения функции через саму функцию.
- Коиндукция – это метод определения функции через другую функцию.
- Рекурсия и коиндукция являются фундаментальными понятиями в программировании.
-
Примеры рекурсии и коиндукции
- Примеры включают определение факториала, суммы чисел Фибоначчи и решение проблемы маркировки по ширине.
- Рекурсия используется для создания бесконечных последовательностей, таких как числа Фибоначчи.
- Коиндукция применяется для определения функций, которые зависят от предыдущих результатов.
-
Корекурсия и ее применение
- Корекурсия – это форма рекурсии, в которой функция зависит от самой себя.
- Примеры включают обход бинарного дерева и решение проблемы маркировки по ширине.
- Корекурсия может быть использована для создания эффективных алгоритмов и реализации классических структур данных.
-
История и рекомендации
- Корекурсия восходит к работам Джона Хьюза и Филипа Уодлера, а более общие формы были разработаны в 1989 году.
- В статье также упоминаются рекомендации по использованию корекурсии и коиндукции в программировании.