Et program som er konstruert av en grunnleggende sett med kontrollstrukturer, hver og en har en inngangspunkt og en exit. Sett med kontroll strukturer vanligvis inkluderer: rekkefølgen på to eller flere instruksjoner, betinget utvalg av en av to eller flere instruksjoner, betinget utvalg av en av to eller flere instruksjoner eller sekvenser av instruksjoner, og repetisjon av en instruksjon eller en sekvens med instruksjoner.