Линейный участок

Линейный участок (Basic block) — простой путь [math]\displaystyle{ \,P = (p_{1}, \ldots , p_{r}), }[/math] [math]\displaystyle{ \,r \geq 1 }[/math], в управляющем графе такой, что полустепени исхода всех вершин, кроме [math]\displaystyle{ \,p_{r} }[/math], и полустепени захода всех вершин, кроме [math]\displaystyle{ \,p_{1} }[/math], равны 1.

Другое название — Луч.

Литература

• Евстигнеев В.А., Касьянов В.Н. Теория графов: алгоритмы обработки деревьев. — Новосибирск: Наука. Сиб. отд-ние, 1994.

• Касьянов В.Н. Оптимизирующие преобразования программ. — М.: Наука, 1988.