А можно ведь было и не начинать разговоры по этому поводу...
Потому и не встревал в дискуссию (имея в виду, что "дважды два четыре" можно извлечь хотя бы из Кауфмана - на
с. 332-333 здесь о дедуктивной семантике ЦД - на момент начала споров Г.Н. выдержка уже была на форуме)... Один силлогизм (П4) там уже даёт хорошую пищу для размышлений... в т.ч. и о ЦД как "паттерне универсальной программы" (дейкстрале, сиречь)...
Кстати, по другому вопросу (который вроде ещё не закрыт
):
Геннадий Тышов писал(а):
Info21 писал(а):
Вы же читали Гриса четверть века уже назад. Я Вам верю.
У Гриса нет описания или разбора цикла с авторством Дейкстры.
Геннадий Николаевич.
Вся глава 11, начиная со страницы 143, где дано определение этого цикла во фрагменте (11.1).
Там нет имени Дейкстры? Так назвать нечто именем человека -- это фактически поставить ему памятник. Живым людям в расцвете сил памятники обычно не ставят, даже в этом переносном смысле. Такая практика.
...
Фактически тот же Кауфман уже установил авторство Дейкстры (и, видимо, при жизни - имея в виду, что "Концепции и принципы ЯП" вышли впервые в 1980-х). Это можно видеть по той же выдержке - где на с. 321 он прямо указывает "Дисциплину программирования" как источник языка "аннотированного программирования". А совсем чётко - уже сейчас - у Карпова:
Управляющие структуры языка Promela - это т.н. защищенные команды (guarded commands), введённые Э. Дейкстрой. Таких команд две - выбор и цикл.
...
И далее описаны те же конструкции (if-fi и do-od), что и у Кауфмана... Сия выдержка, между прочим, уж более полутора лет на форуме лежит...
Оно ещё и к тому, существуют ли конструкции Дейкстры... не только существуют, но и реализованы (Promela - часть комплекса входных языков системы Spin).
Другое дело - что для тех, кто не привык к формальным текстам (для "подрастающего поколения", в частности) именно импер-схемы позволяют наглядно объяснить и общность ЦД, и его применение... что м.б. вкладом в развенчание некоторых мракобесий...