... тут надо добавить для точности - "для гимназий с углублённым изучением графических языков"...
Ну, в общем, вот пример РДП-проекта, отражающий "образ цели" для структурного редактора: http://grafit-basis.narod.ru/L3/complex ... Pril3-n223. Предварительно он обсуждался, в чём-то доработан. Основную часть продублирую для удобства: http://grafit-basis.narod.ru/L3/complex_viz_know-RDP_html_3c56b5e6.gif
- хотя ещё бы и сжать фото-чем-нибудь неплохо бы...
Пока без особых комментариев - в общем-то многое было сказано.
По моделированию алгоритмических процессов - прежде всего здесь: viewtopic.php?p=75882#p75882.
По доалгоритмическому - при обсуждении с PSV100 и Донским здесь: viewtopic.php?p=74429#p74429 - и далее на странице.
Ну а по модели проекта в целом - тут уже резоны приводил usr345: viewtopic.php?p=74858#p74858. С ним можно согласиться как в представлениях алгопроцессов - так и в выборе представления для базовой структуры проекта (модели "сущности-отношения" - т.е. типа IDEF1X).
Только вот что замечу. Во-первых, по структурированию алгооператоров. В своё время обсуждали с Дмитрием_ВБ ДАЛВЯЗ-решение: viewtopic.php?p=50802#p50802. Там имелось в виду, что некое подразделение действий должно отражаться в представлении (текстовом и ином). И в основе должна лежать классификация операторов по сути. В основном её наметил ещё Гегечкори: viewtopic.php?p=43572#p43572. Вот для этих классов и надо определить обозначения. Что и было сделано ещё для схем - ну и здесь предложено для структурных скобок. Тогда как иллюстративные описания - это немного другое. Приложимое не к импер-, а к деклар-компоненте описания алгопроцесса. Т.е. решение верное - но полностью его потенциал раскрывается в полноценной алгомодели... структурированной, допустим, в "базисе абстракций" Кауфмана...
Во-вторых. Скобочная нотация, хотя и основана на идеях Прохоренко-Никкерсона, ессно, здесь представляет вполне законченный формальный язык. Который, кстати, можно реализовать и как исчисление...
В то же время язык наследует базовую идею - структурности в смысле математического анализа/синтеза. Т.е. в терминах "исчислений структур" (представителями коих являются графит-метод и исчисление маршрутных структур как его подмножество) - вывода предложений языка только вводом атомов, также только структурных. По утверждениям теоретиков, такие предложения должны удовлетворять требованию проверяемости дедуктивными методами, типа предложенных Хоором и/или Бэкусом. - Это и делает описания скобками более наглядными (элементы представления явных БП можно добавить - но здесь это смотрится даже не так, как на графах). И соответствует назначению языка - для первоначального обучения "алгоритмике как программированию, очищенному от всего случайного" и для практического применения в проектировании/сопровождении ответственной ("гарантоспособной") деятельности. Не обязательно реализуемой только программно, "языковыми машинами", конечно... В широком смысле - для ситуаций, когда "инструкция - это для тех, кто ещё не умеет" (здесь - действовать гарантоспособно - имея в виду как людей, так и машины)...
Так что поздравим ещё раз первопроходцев и в идее (в этом пространстве общения - Сергея), и в реализации (Валерия, Дмитрия и других коллег)! И подумаем и выскажемся, каков будет облик перспективной нотации в классе структурных скобок?..