Egy számítógépes program garanciális ellenőrzési struktúrákat, egyenként egy tételt és egy kilépési kell megépíteni. Vezérlés készlet struktúrák általában tartalmazza: következés-ból kettő vagy több utasítások, feltételes kiválasztott egy, két vagy több sorozatok-a utasítások és ismétlés utasítások sorozata.