Линейная компонента

Линейная компонента (Linear component) - гамак </math>C[math]\displaystyle{ управляющего графа }[/math]G[math]\displaystyle{ , обладающий следующими свойствами: начальная и конечная (если она есть) вершины }[/math]C[math]\displaystyle{ принадлежат каждому пути из входа }[/math]G[math]\displaystyle{ в его выход; из конечной вершины гамака }[/math]C[math]\displaystyle{ не достижима в }[/math]G[math]\displaystyle{ начальная вершина гамака }[/math]C[math]\displaystyle{ ; }[/math]C<math> не содержит собственного подграфа, который был бы гамаком и обладал бы первыми двумя свойствами.

Литература

[Касьянов/88],

[Евстигнеев-Касьянов/94]