Et program, der er fremstillet af et grundlæggende sæt af kontrolstrukturer, hver enkelt én indgang og én udgang. Sæt af kontrol strukturer omfatter typisk: sekvens af to eller flere instruktioner, betinget udvælgelse af en af to eller flere instruktioner, betinget udvælgelse af en af to eller flere instruktioner eller sekvenser af instruktioner, og gentagelse af en instruktion eller en sekvens af instruktioner.