Аноним

Reducible (control) flow graph: различия между версиями

Материал из WEGA
нет описания правки
(Новая страница: «'''Reducible (control) flow graph''' --- сводимый управляющий граф. Let <math>G</math> be a ''cf-graph'' and let <math>k\geq 0</math>. The…»)
 
Нет описания правки
 
Строка 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.
[[Категория: Сводимые и регуляризуемые графы]]