Program komputerowy, zbudowane z podstawowy zestaw struktur kontrolnych, z których każde posiada jedno wejście i jedno wyjście. Zestaw kontroli struktury zwykle obejmuje: kolejność dwóch lub więcej instrukcji, warunkowego wyboru jednego z dwóch lub więcej sekwencji instrukcji i powtórzenia sekwencji instrukcji.