На этом шаге мы приведем эту методику.
Рассмотренные на предыдущих шагах рекурсивные функции, как и большинство будущих алгоритмов, могут быть спроектированы по шаблону методики, изображённой в таблице 1. В этом шаблоне упор на декларативное мышление делается на шаге 4, поскольку метод индукции заставляет сосредоточиться на том, что делает алгоритм, а не как он это делает. Последующие разделы объясняют каждый шаг шаблона и предостерегают от распространённых ловушек и недоразумений.
| Номер шага | Описание |
|---|---|
| 1 | Определить размер задачи |
| 2 | Определить начальные условия |
| 3 | Разложить вычислительную задачу на подобные ей подзадачи меньшего размера и, возможно, на другие дополнительные задачи |
| 4 | Определить рекурсивные условия, опираясь на индукцию и схемы |
| 5 | Протестировать код |
На следующем шаге мы рассмотрим размер задачи.
