Информационно-логическая модель алгоритма

Предложена модель алгоритма, отражающая как потоки управления, так и обрабатываемые данные. Модель представляет собой композицию управляющего графа и ориентированного двудольного графа "операторы-данные". Сформулированы правила перехода от алгоритма к модели. Модель может быть использована для решения широкого круга задач анализа алгоритмов в рамках структурного и интерпретационного подходов.