Анализ рекурсивного алгоритма решения задачи о Ханойской башне на основе подстановок
Анализируется система подстановок, описывающая рекурсивный алгоритм решения задачи о Ханойской башне. Показывается, что для трех стержней формируются 6 возможных подстановок переменных, обозначающих стержни и их глобальный и локальный смысл. Приводятся примеры подстановок в задаче для одного, двух и трех дисков.