1294
правки
Reducible (control) flow graph: различия между версиями
Материал из WEGA
Reducible (control) flow graph (посмотреть исходный код)
Версия от 21:26, 8 октября 2019
, 8 октября 2019нет описания правки
Glk (обсуждение | вклад) (Новая страница: «'''Reducible (control) flow graph''' --- сводимый управляющий граф. Let <math>G</math> be a ''cf-graph'' and let <math>k\geq 0</math>. The…») |
KVN (обсуждение | вклад) Нет описания правки |
||
| Строка 1: | Строка 1: | ||
'''Reducible (control) flow graph''' --- сводимый управляющий граф. | '''Reducible (control) flow graph''' --- [[сводимый управляющий граф]]. | ||
Let <math>G</math> be a ''cf-graph'' and let <math>k\geq 0</math>. | Let <math>G</math> be a ''cf-graph'' and let <math>k\geq 0</math>. | ||
| Строка 8: | Строка 8: | ||
such that <math>G_k=I_{k+1}(G)</math>. <math>G</math> is called '''(interval) reducible''' if | such that <math>G_k=I_{k+1}(G)</math>. <math>G</math> is called '''(interval) reducible''' if | ||
its limit cf-graph is trivial and '''(interval) irreducible''' otherwise. | its limit cf-graph is trivial and '''(interval) irreducible''' otherwise. | ||
[[Категория: Сводимые и регуляризуемые графы]] | |||
