Počítačový program postavená základné množiny ovládacími štruktúrami, každá má jeden vstup a jeden výstup. Set control štruktúr typicky zahŕňa: postupnosť dvoch alebo viac inštrukcií, podmienené výberom jednej z dvoch alebo viacerých sekvencií inštrukcií a opakovanie postupnosť inštrukcií.