Un programme d'ordinateur construit d'une série de structures de contrôle, chacune ayant une entrée et une sortie. L'ensemble du contrôle des structures comprend généralement : séquence de deux ou plusieurs instructions, sélection conditionnelle de l'un des deux ou de plusieurs séquences d'instructions et la répétition d'une séquence d'instructions.