Это, как частный случай, и метод, реализованный в этом редакторе... и шампур-метод (оба для устремлённых графов)... и графит-метод (как несколько более общее, ибо и для других топологий)...
Ну, дедуктивная система же во всех случаях... только в алфавите подграфы, а аксиомы и теоремы - графы... так что такое название... более формальное (и семантичное)...
Ну а редактор госпожи Уоттс и её универа наглядно сие демонстрирует... с 2001 года (вроде даже это не первая версия)...
Как Вы помните, уже давно говорил, что надо иметь версию такого исчисления "только вложением". В своё время эту версию мне и было предложено назвать "базис-методом", что и принял:
...
Правило 4. Базис-метод — часть графит-метода за исключением операций преобразования конфигурации. Необходим и достаточен для вывода графит-схем т.н. доказательным образом, с помощью логических рассуждений о смысле (семантике) структур схемы, исходя из цели (прагматики) схемы.
...
- т.е. используем только прибавления/вычитания блоков (термин "атом" будет заменён, дабы не путать с атомарностью участков маршрутов в смысле теории параллелизма - ну, это по Карпову тому же помните). Ну а трансформы в этом редакторе можно представить как цепочку "вычесть текущий блок - прибавить в образовавшуюся точку вставки другой с перевыбором типа блока".
В общем, метод для устремлённых графов структурных. Т.е. то же, что в СЛ-языке принято - без явных БП. Но при условии, кое ранее тоже обсуждалось:
...
Главное же правило структурности для шампур-схем формулируется просто - это
атомарность топологии схемы. Т.е. выводимость вложением (вводом атома). Причём
структурный составной атом не должен содержать внутри пересечений (я понимаю, что это д.б. очевидно
- но мы здесь о формальном определении). Это и будет "собственным (т.е. сформулированным для граф-шампур-формы записи структур управления) правилом ДРАКОНа, позволяющим сохранить структурность" ((С) П. Приклонский).
Любые другие правила структурность не сохраняют - см. теорему Бёма-Джакопини (достаточна композиция следований - линейных шампур-блоков - и циклов). И когда сочинитель оперирует с лианой так, что в примитиве (а равно и в примитивизированном силуэте) нарушается атомарность (возникает лианный, адресный макроблок) - он тем самым вводит явный БП. Который в текстовом виде потребует goto или заменителя - и это будет просто текстовым средством выражения того же понятия.
Действующие ШМ-правила сохраняют на самом деле планарность схемы как графа.
...
Кстати, Блинов ведь высказывал мнение, что вывод вложением был уже у Эльбрусовцев:
...
1. Стиль программирования с помощью "вложений" описан также в материалах по языку Эль-76(напр.: Сафонов В.О. "Языки и методы программирования в системе ЭЛЬБРУС", 1989г.). "Программирование на языке выражений" реализовано с помощью замкнутых, условных, выбирающих и структурных выражений, объединяемых понятием "закрытое выражение". Более того, стиль многих практикующих программистов основан на "вложениях" - сразу после написания управляющего оператора, целиком набирается ограничивающая конструкция begin - end или { }. Многие IDE могут автоматически подставить ограничивающие конструкции. Далее программист набирает текст уже внутри конструкции, формируя ту самую цепочку "вложений". И это не воспринимается, как нечто необычное.
...
- только термин был другой.
СемИДЕ, в отличие от "многих ИДЕ", уже не скобки пользователю предлагает, а трафареты блоков, доступных для трансформации только [пере]подстановкой имён величин и/или действий (операций в выражениях). Так ведь?
Кстати, о переходе, который называю "естественным":
...
2. ...
здесьВладимир Паронджанов писал(а):
..ОПЕРАТОРА сочленения нет — корова языком слизала..
Есть. Это inc(PC). Увеличение на единицу ProgramCounter. Выполняется каждый раз автоматически по окончании выполнения очередной команды целевой платформы. Поскольку на сегодня для широких масс не реализованы более экзотические методы исполнения команд, кроме как последовательные, данный оператор пока является умолчательным. Его явное указание для массово применяемых архитектур просто привет к неоправданному загромождению текста программ. Вторая причина - априорная неопределенность в количестве шагов целевой платформы для действий, записанных на языке высокого уровня.
И, кстати, вложенные выражения соединяет этот же оператор.
...
- тут тоже термин другой, а смысл тот же. Выборка адреса следующего оператора данного уровня детализации императивного кода (укрупнённого, ЯВУ-шного, асмовского, микрооперационного)...