Sebuah program komputer yang dibangun dari serangkaian dasar struktur kontrol, masing-masing memiliki satu masuk dan satu keluar. Set kontrol struktur biasanya mencakup: urutan dua atau lebih instruksi, bersyarat pilihan salah satu dari dua atau lebih urutan petunjuk, dan pengulangan dari urutan petunjuk.