Die drei Grundtypen von Kontrollstrukturen sind sequentiell, Auswahl und Iteration. Sie können beliebig kombiniert werden, um ein bestimmtes Problem zu lösen.
Sequentiell ist die Standardkontrollstruktur, Anweisungen werden Zeile für Zeile in der Reihenfolge ausgeführt, in der sie erscheinen. Die Selektionsstruktur wird verwendet, um eine Bedingung zu testen. Eine Folge von Anweisungen wird ausgeführt, je nachdem, ob die Bedingung wahr oder falsch ist. Das bedeutet, dass das Programm zwischen zwei oder mehr alternativen Pfaden wählt. Bedingung bezieht sich auf jeden Ausdruck oder Wert, der einen booleschen Wert zurückgibt, was wahr oder falsch bedeutet.
Die drei Haupttypen von Auswahlanweisungen sind "if", "if/else" und "switch"-Anweisungen. Die grundlegendste und gebräuchlichste ist die "if"-Anweisung. Die Anweisungen "if" und "if/else" können verschachtelt werden. Switch-Anweisungen werden idealerweise verwendet, wenn mehrere Fälle zur Auswahl stehen.
Die Iterations- oder Wiederholungsstruktur führt wiederholt eine Reihe von Anweisungen aus, solange die Bedingung wahr ist. Die Bedingung kann vordefiniert oder unbefristet sein. "While", "do/while" und "for"-Schleife sind die drei Arten von Iterationsanweisungen. Eine Schleife kann entweder ereignisgesteuert oder zählergesteuert sein. Eine ereignisgesteuerte Schleife führt eine Folge von Anweisungen aus, bis ein Ereignis eintritt, während eine zählergesteuerte Schleife die Anweisungen eine vorbestimmte Anzahl von Malen ausführt.