Basic block

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 [math]\displaystyle{ P=(p_1,p_2, \ldots, P_r) }[/math], [math]\displaystyle{ r\geq 1 }[/math], in a control flow graph is called a basic block (or ray) if [math]\displaystyle{ p_{i-1} }[/math] is a single predecessor of [math]\displaystyle{ p_i }[/math] and [math]\displaystyle{ p_j }[/math] is a single successor of [math]\displaystyle{ p_{j+1} }[/math] for all [math]\displaystyle{ i\gt 1 }[/math] and [math]\displaystyle{ j\lt r }[/math].