Вот что ещё можно сказать по этой теме.

1. На примере прояснения смысла циклов с параметром (прежде всего цикла прошивки) можно видеть подтверждение тезиса Дрейпера (обсуждавшегося уМичи и Джонстона, с. 98-99): "Поручите физическому миру проделать за вас все расчёты". В данном случае, чем считать число итераций, чтобы подставить его как значение параметра, можно было вникнуть в физику процесса. И тогда определить состояние предметки, при котором цикл завершается. Что и намечено в части ответа Б5, касающейся условия выбора текущей позиции. В общем, базовые паттерны циклов рулят и в таком понимании - если сочинитель стремится формализовать циклический процесс как поиск/проход - он начинает представлять себе физику предметки математически формально...
Помимо прочего, такое представление оказывается инвариантным к фактору числа элементов структуры предметки (при сохранении вида структуры). Так, в данном случае "физическое" условие выхода из цикла не зависит от количества прошиваемых отверстий. Сколько бы их не было - менять в алгоритме ничего не надо - выходим, когда оказываемся рядом с исходным. Тогда как в "длятском" цикле каждый раз надо править верхнюю границу... В данном случае она связана с числом засверливаемых отверстий - но в каких-то задачах может оказаться, что "настраивать" итератор придётся независимо. А таких операций всегда лучше избегать...

2. Повышение степени формализованности описания возможно различными путями. Наряду с раздельным, который обычно подразумевался вэтой теме, можно и "вытеснять" менее формализованное содержание тех или иных элементов более формализованным. Такой путь лучше реализуется в машинном редакторе. А прояснение частей описания связано, в частности, со сказанным выше.