Un programma per computer costruito un set base di strutture di controllo, ciascuna con un ingresso e un'uscita. Set di controllo strutture in genere include: sequenza di due o più istruzioni, selezione condizionale di uno dei due o più sequenze di istruzioni e la ripetizione di una sequenza di istruzioni.