> -- Илья Ермаков писал(а):
> ...Предисловие.Ничего принципиально нового, всё это нам известно, просто взглянем, как следует Из структурного программирования мы привыкли к древовидной декомпозиции действий.Например, есть действие A. Очень крупное.Его определение даётся в терминах нескольких действий помельче: A = A1 A2 A3.Далее A1, A2, A3 определяются аналогичным образом.Есть и другой способ декомпозиции действий, кроме такого древовидного. Назовём его списочным. (Лисперам он сразу напомнит CAR-CDR  ).При определении большого действия A мы сначала указываем действия на мелком уровне детализации, а потом некое крупное, которое является продолжением этих мелких:A = o1 o2 A1.A1 = o3 o4 A2.A2 = ......> -- Сергей Прохоренко писал(а):
> Идея нуждается в проработке. Лучше с картинками.Не подойдут ли для иллюстрации этих способов картинкив этой выдержке(понимая "продолжение" как "следование")? Можно полагать, что:* Схемы на Рис. 105, 106 (чистые концепции) соответствуют первому способу - вся схема есть крупное действие и делится тоже на крупные (менее) действия-вставки.
* Схема на Рис.107 уже не концепция в чистом виде - т.к. имеются операторы, не являющиеся вставками-процедурами (здесь - вершины-действия) - т.е. это частично конкретизированный визуал. И она, видимо, соответствует второму способу.А как обращаться с параметрами и прочими затрагиваемыми величинами - м.б. показать в формах, описанныхздесь...