Просмотр кода страницы Зависимость по управлению

'''Зависимость по управлению''' (''[[Control dependence]]'') — зависимость, направленная от оператора IF к операторам, находящимся под его управлением. Более строгое определение использует понятие [[постдоминатор|''постдоминатора'']]. А именно, пусть <math>G</math> — ''[[управляющий граф]]'', а <math>x</math> и <math>y</math> — две его [[вершина|вершины]]. Вершина <math>y</math> зависит по управлению от <math>x</math>, если:

:(1) существует путь из <math>x</math> в <math>y</math>, в котором любая вершина <math>z</math> (за исключением <math>x</math> и <math>y</math>) постдоминируется вершиной <math>y</math>, и

:(2) вершина <math>x</math> не постдоминируется вершиной <math>y</math>.

В применении к [[цикл|циклу]] в управляющем [[граф|графе]] данное определение '''зависимости по управлению''' характеризует сильно связную область (''[[зона|зону]]'') зависимости по управлению, вершинами
которой являются предикаты, определяющие выход из цикла.
==Литература==
* Векторизация программ: теория, методы, реализация. — М.: Мир, 1991.