1303
правки
Fragment of flow graph: различия между версиями
Материал из WikiGrapp
нет описания правки
KVN (обсуждение | вклад) Нет описания правки |
KVN (обсуждение | вклад) Нет описания правки |
||
| Строка 1: | Строка 1: | ||
'''Fragment of flow graph''' --- [[Фрагмент уграфа|''фрагмент уграфа'']]. | '''Fragment of flow graph''' --- [[Фрагмент уграфа|''фрагмент уграфа'']]. | ||
A subgraph of a | A [[subgraph]] of a [[control flow graph]] <math>G</math> is called a '''fragment'''. | ||
A fragment <math>A</math> is a '''subfragment''' of <math>B</math>, if <math>A\subseteq B</math>; it is a | A fragment <math>A</math> is a '''subfragment''' of <math>B</math>, if <math>A\subseteq B</math>; it is a | ||
| Строка 8: | Строка 8: | ||
A node <math>p</math> of a fragment <math>A</math> is called '''initial''' (respectively, '''output''' or '''exit''') | A node <math>p</math> of a fragment <math>A</math> is called '''initial''' (respectively, '''output''' or '''exit''') | ||
if either <math>p</math> is the initial node of <math>G</math> (respectively, <math>p</math> is the terminal node of <math>G</math>) | if either <math>p</math> is the initial node of <math>G</math> (respectively, <math>p</math> is the terminal node of <math>G</math>) | ||
or an arc of <math>G</math> not belonging to <math>A</math> enters <math>p</math> ( respectively, leaves <math>p</math>). | or an arc of <math>G</math> not belonging to <math>A</math> enters <math>p</math> (respectively, leaves <math>p</math>). | ||
A node <math>p</math> of a fragment <math>A</math> is called its '''entry ''' if there is a part from the initial node of <math>G</math> to <math>p</math> | A node <math>p</math> of a fragment <math>A</math> is called its '''entry ''' if there is a part from the initial node of <math>G</math> to <math>p</math> | ||
