Et dataprogram konstruert av en grunnleggende sett med kontrollstrukturer, hver med en oppføring og en exit. Settet med kontroll strukturer inkluderer vanligvis: rekkefølgen på to eller flere instruksjoner, betinget utvalg av en av to eller flere sekvenser av instruksjoner, og repetisjon av en rekke instruksjoner.