Basic block

Материал из WikiGrapp
Перейти к:навигация, поиск

Basic blockлинейный участок, луч.

1. A basic block is a sequence of consecutive statements (of a program) such that control flow enters the sequence at the beginning and leaves the sequence at the end without halt or possibility of branching except for the end.

2. A simple path P=(p_1,p_2, \ldots, P_r), r\geq 1, in a control flow graph is called a basic block (or ray) if \,p_{i-1} is a single predecessor of \,p_i and \,p_j is a single successor of \,p_{j+1} for all \,i>1 and \,j<r.

Литература

  • Евстигнеев В.А., Касьянов В.Н. Словарь по графам в информатике. — Новосибирск: Сибирское Научное Издательство, 2009.