Abstract:
Приведены основные характеристики алгебраического аппарата. Введены
определения алгоритма и подсистем, проиллюстрирована возможность перехода от алгоритма к описанию образующих его подсистем. Показаны состав и структура
данных, специфицированных на входах и выходах Д-операторов, входящих в композиционные схемы, посредством которых описываются алгоритмы. Продемонстрирована возможность описания входных и выходных данных и доказаны их свойства. Определено понятие информационных связей и показаны свойства данных, образующих эти связи.