Цикл-силуэт и метод Дейкстры

Разработчик ВЯЗБС-систем Д.В. Барановский (ник на проекте Дмитрий_ВБ) ввёл также собственное определение шампур-языка. Существенной его частью в новой редакции (ДАЛВЯЗ) стала конструкция «цикл-силуэт» (ЦС).

Визуально-структурный анализ ЦС показывает, что его укрупнённая структура образуется вложением выбора Дейкстры в «риторический» цикл (с тождественно истинным условием). Из сказанного на этой странице нетрудно видеть, что это вариант реализации цикла Дейкстры. Т.е. цикл-силуэт есть на самом деле структурная конструкция без goto и его заменителей.

В то же время в определении ЦС используется графика веточных соединителей. Причём с нестандартным текстом вершины Адрес ветки, задающим присваивание. Смысл этого можно трактовать по-разному.

В структурной интерпретации графика адреса - просто «удобное место» для назначения нового состояния. Безусловный переход же, как и положено в структурных конструкциях, неявный и происходит вслед за присваиванием (согласно принципу реализации ЦД).

Т.о., у Барановского в данном случае в одной вершине совмещены два типа операторов. Это соотвествует ведущей идее ДАЛВЯЗ - т.н. компактификации визуального представления программы.