Ха. Всё это, написанное русским языком - декларация. "Надо поворачивать", и т.п. А если это говорить на Паскале или ему подобном недоязычке - то появится дичайшее количество лишних подробностей, включая и порядок действий там, где он либо не важен, либо информация о нём уже содержится в других утверждениях. Человек не мыслит категориями "левой-правой-левой-правой (в параллельном треде: вдох-выдох-вдох-выдох-жёпупочесать-вдох-выдох)", он думает: "тоскливо... а не сгонять ли мне за пивом?".

P.S. Есть и ещё один подход. Опять же близкий и к человеческому мышлению,
и к тому, как реальная аппаратура (не компутерная) работает - автоматное программирование. Всё описать в терминах состояний и переходов. Опять же - Сям и Паскакалям тут не место. Насколько мне известны нынешние тенденции в программировании промышленных контроллеров всех мастей, от утюгов до авиации и ядрёных реакторов - именно этот подход как правило и выбирают, в силу того, что такую программу проще всего формально доказать, и инженерные ляпы найти...

Понял. Были раньше такие пакеты прикладных программ. Например, инженер рисует структурную схему системы управления, а транслятор переводит её в программу на ассемблере или прямо в машинный код.
Также помню ещё трансляторы таблиц решений. Там надо было поставить плюсы и минусы и указать желаемое действие. Транслятор переводил.

Это Вы имеете в виду?

{+}