Un programa d'ordinador construït d'un conjunt bàsic d'estructures de control, cada un amb una entrada i una sortida. Normalment inclou estructures el conjunt de control: seqüència de dos o més instruccions, condicional selecció d'un dels dos o més seqüències d'instruccions i repetició d'una seqüència d'instruccions.