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

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

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