Это, между прочим, типичная реализация рекурсии при помощи цикла и стека. Первое "что-то делаем" это push, потом тело рекурсии, работающее с вершиной стека (и проверка - вперёд или назад), и перед последней проверкой (пуст ли стек) - pop.