Association et dissociation objets

Для того, чтобы операторы псевдоблока выполнялись на всех


входных (выходых) путях области Rk, они должны вставляться во


все блоки, непосредственно предшествующие (следующие) области


либо из псевдоблока должен быть сформирован блок ,который


будет вставлен на все входные (выходные) пути области Rk.
Вставка операторов в существующие блоки или формирование


из псевдоблока фактического блока выполняется по следующему


алгоритму (алгоритм рассматривается для операторов, сдвинутых


назад на входные пути, для операторов, сдвинутых вперед,


алгоритм аналогичен ):