Зависимость по управлению: различия между версиями

'''Зависимость по управлению''' (''[[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>.

В применении к [[цикл|циклу]] в управляющем [[граф|графе]] данное определение '''З.п.у.''' характеризует сильно связную область (''[[зона|зону]]'') зависимости по управлению, вершинами

[Векторизация]