Et computerprogram, der er konstrueret af et grundlæggende sæt kontrolstrukturer, hver har én post og én udgang. Sæt af kontrol strukturer omfatter typisk: rækkefølgen af to eller flere instruktioner, betinget udvælgelse af en af to eller flere sekvenser af instruktioner, og gentagelse af en sekvens af instruktioner.