Kontrollstrukturen sind Anweisungen in imperativen Programmiersprachen. Sie dienen der Steuerung des Ablaufs eines Computerprogramms. Eine Kontrollstruktur ist entweder eine Verzweigung oder eine Schleife. Ihre Ausführung wird in der Regel durch logische Ausdrücke der Booleschen Algebra beeinflusst. Kontrollstrukturen können mit Hilfe spezieller Diagramme visualisiert werden.