Это, как частный случай, и метод, реализованный в этом редакторе... и шампур-метод (оба для устремлённых графов)... и графит-метод (как несколько более общее, ибо и для других топологий)...
Ну, дедуктивная система же во всех случаях... только в алфавите подграфы, а аксиомы и теоремы - графы... так что такое название... более формальное (и семантичное)...Ну а редактор госпожи Уоттс и её универа наглядно сие демонстрирует... с 2001 года (вроде даже это не первая версия)...

Как Вы помните, уже давно говорил, что надо иметь версию такого исчисления "только вложением". В своё время эту версию мне и было предложено назвать "базис-методом", что и принял:> -- в http://grafit-basis.narod.ru/L3/grafit- ... l#GR-n1411 писал(а):
> ...Правило 4. Базис-метод — часть графит-метода за исключением операций преобразования конфигурации. Необходим и достаточен для вывода графит-схем т.н. доказательным образом, с помощью логических рассуждений о смысле (семантике) структур схемы, исходя из цели (прагматики) схемы....- т.е. используем только прибавления/вычитания блоков (термин "атом" будет заменён, дабы не путать с атомарностью участков маршрутов в смысле теории параллелизма - ну, это по Карпову тому же помните). Ну а трансформы в этом редакторе можно представить как цепочку "вычесть текущий блок - прибавить в образовавшуюся точку вставки другой с перевыбором типа блока".

В общем, метод для устремлённых графов структурных. Т.е. то же, что в СЛ-языке принято - без явных БП. Но при условии, кое ранее тоже обсуждалось:> -- Владислав Жаринов в viewtopic.php?p=71937#p71937 писал(а):
> ...Главное же правило структурности для шампур-схем формулируется просто - это  топологии схемы. Т.е. выводимость вложением (вводом атома). Причём  (я понимаю, что это д.б. очевидно   - но мы здесь о формальном определении). Это и будет "собственным (т.е. сформулированным для граф-шампур-формы записи структур управления) правилом ДРАКОНа, позволяющим сохранить структурность" ((С) П. Приклонский)....
Кстати, Блинов ведь высказывал мнение, что вывод вложением был уже у Эльбрусовцев:> -- Рэйлвэй Каген в viewtopic.php?p=52411#p52411 писал(а):
> ...1. Стиль программирования с помощью "вложений" описан также в материалах по языку Эль-76(напр.: Сафонов В.О. "Языки и методы программирования в системе ЭЛЬБРУС", 1989г.). "Программирование на языке выражений" реализовано с помощью замкнутых, условных, выбирающих и структурных выражений, объединяемых понятием "закрытое выражение". Более того, стиль многих практикующих программистов основан на "вложениях" - сразу после написания управляющего оператора, целиком набирается ограничивающая конструкция begin - end или { }. Многие IDE могут автоматически подставить ограничивающие конструкции. Далее программист набирает текст уже внутри конструкции, формируя ту самую цепочку "вложений". И это не воспринимается, как нечто необычное....- только термин был другой.

СемИДЕ, в отличие от "многих ИДЕ", уже не скобки пользователю предлагает, а трафареты блоков, доступных для трансформации только [пере]подстановкой имён величин и/или действий (операций в выражениях). Так ведь?

Кстати, о переходе, который называю "естественным":> -- Рэйлвэй Каген в viewtopic.php?p=52411#p52411 писал(а):
> ...2. ...И, кстати, вложенные выражения соединяет этот же оператор....- тут тоже термин другой, а смысл тот же. Выборка адреса следующего оператора данного уровня детализации императивного кода (укрупнённого, ЯВУ-шного, асмовского, микрооперационного)...