基本ブロック
正式な定義では、各位置におけるコードがグラフ理論上支配するか、あるいはその命令より後に置かれたコードより先に実行され、命令列の二つの命令の間には別の命令が実行されることがない場合、命令列は基本ブロックを形成する。この定義は慣れ親しんだものとは異なり、たとえば他のジャンプから参照されないラベルへの無条件のジャンプが許容される。この定義ではアルゴリズムを構築する際にも基本ブロックの考え方を用いることができる。
あるブロックの終端に到達した後、次に制御を移すブロックは「後任者(successor)」と呼ばれ、制御を渡してきたブロックは「前任者(predecessor)」と呼ばれる。