Каркас уграфа: различия между версиями

'''Каркас уграфа''' (''[[DAG of control flow graph]]'') - такой ''[[уграф]]'' <math>K</math>, что <math>K</math> --- ''ациклический [[остов]]'' уграфа <math>G</math>, [[каркас|каркасом]] которого он является, и добавление в <math>K</math> еще одной любой [[дуга|дуги]] <math>G</math> нарушает ацикличность <math>K</math>.

Справедливы следующие свойства: