Een computerprogramma geconstrueerd van een basisset van controlestructuren, elk met een ingang en een uitgang. De set van controle structuren omvatten meestal: volgorde van twee of meer instructies, voorwaardelijke selectie van twee of meer reeksen van instructies, en herhaling van een opeenvolging van instructies.