Un programa de ordenador que se construye de un conjunto básico de estructuras de control, cada una con una entrada y una salida. El conjunto de control de estructuras típicamente incluye: secuencia de dos o más instrucciones, selección condicional de uno de dos o más secuencias de instrucciones y la repetición de una secuencia de instrucciones.