Ett program som konstruerade av en grundläggande uppsättning kontrollstrukturer, var och en har en startpunkt och en utgång. Uppsättning kontroll strukturer innehåller normalt: sekvens av två eller fler instruktioner, villkorliga urval av en av två eller flera instruktioner, villkorliga urval av en av två eller flera instruktioner eller sekvenser av instruktioner och upprepning av en instruktion eller en sekvens av instruktioner.