Ve výpočetní techniky , je základní blok je část zdrojového kódu jednoho programu, vyznačující se tím, určité užitné vlastnosti, které usnadňují analýzu . Tyto kompilátory rozebrat většinu času programů ve svých základních bloků v prvním kroku procesu analýzy.
Základní bloky tvoří uzly řídicího grafu toku .
Kód základního bloku obsahuje:
Proto se pokaždé, když se provede první instrukce základního bloku, ostatní instrukce se provedou přesně jednou a v pořadí.
Formálněji posloupnost pokynů tvoří základní blok, když:
Tato definice je poněkud obecnější než intuitivní definice. Například umožňuje bezpodmínečné skoky na štítky, které nejsou cílem jiných skoků. Tato definice odráží vlastnosti, díky nimž se základní bloky snadno používají při vytváření algoritmu.
Bloky, na které lze po dosažení konce bloku přenést řízení, se nazývají nástupci bloku. Bloky, ze kterých lze přijít před vstupem do základního bloku, se nazývají jeho předchůdci . Na začátek základního bloku můžete skočit z několika míst.