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