Ένα πρόγραμμα ηλεκτρονικού υπολογιστή κατασκευάζεται από ένα θεμελιώδες σύνολο των δομών ελέγχου κάθε έχοντας ένα εισόδου και ένα εξόδου. Το σύνολο του ελέγχου δομές συνήθως περιλαμβάνει: ακολουθία από δύο ή περισσότερες οδηγίες, υπό όρους επιλογής ενός εκ των δύο ή περισσότερες ακολουθίες της εγκυκλίου, καθώς και επανάληψη μιας ακολουθίας εντολών.