Verzweigungen bilden mit den Schleifen in Programmiersprachen die Kontrollstrukturen.
Aufgrund einer Bedingung wird der Programmfluss (die Abfolge der Ausführung der Befehle) verzweigt.
Es gibt die einfache bedingte Verzweigung die den Programmfluss in zwei Pfade auftrennt und eine mehrfache Verzweigung.
Realisiert ist dies in Programmiersprachen meist mehr oder weniger wie folgt
IF <bedingung> THEN <Aktionsfolge> ELSE <AlternativeAktionsfolge> ENDIF
Die mehrfache Verzweigung mit
CASE <aVariable> aValue1: <AktionsfolgeA> aValue2: <AktionsfolgeB> ... OTHERWISE: <Aktionsfolge> END
Beispiele
Steuerberechnung in einem fiktiven Land
In Pascal
program Steuer;
uses
CRT; (* ReadKey-Funktion *)
var
Einkommen: Double; (* Zu verst. Einkommen *)
Steuer : LongInt; (* Zu bezahlende Steuer *)
Splitting: Boolean; (* Familienstand *)
begin
writeln('Ihr Einkommen: '); (* Eingabe des Einkommens *)
readln (Einkommen);
write ('Splittingtarif [J/ ] ');
Splitting := UpCase(ReadKey) = 'J';
if Splitting (* einseitige Auswahl *)
then Einkommen := Einkommen / 2);
if (Einkommen < 5000 ) (* zweiseitige Auswahl *)
then Steuer := 0
else if Einkommen < 10000 (* zweiseitige Auswahl *)
then Steuer := (Einkommen - 3000) * 0.3
else Steuer := (Einkommen - 7000) * 0.5;
if Splitting (* einseitige Auswahl *)
then Steuer := Steuer * 2);
writeln('Ihre Steuer betraegt ', Steuer:10:2, ' Euro')
end.
Der Hauptartikel Kontrollstruktur enthält weitere Angaben.]