Крупноблочная схема программ: различия между версиями

где <math>g</math> --- символ доступа, <math>a</math> --- получатель (необязательный выход),  <math>F</math> --- источник, <math>F_1,\ldots,F_r</math> --- ключи, представляющие собой выражения, построенные из входов и операций. В зависимости от интерпретации <math>g</math> и текущих значений ключей определены используемые и неиспользуемые части  переменной <math>x=R(a)</math>. Необязательное присваивание сохраняет значения используемой части <math>x</math> и перевычисляет неиспользуемую часть <math>x</math>, размещая в ней используемые части значения результата источника.

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