Operatorrangfolge

AlsOperatorrangfolge,-wertigkeit,-priorität,-präzedenzoder einfach nurPräzedenzbezeichnet man inMathematik,LogikundInformatikeine definierteHalbordnung,in der dieOperatoreneines inInfix-SchreibweisevorliegendenAusdruckseine implizite Klammerung vorgeben.

Die Operatorrangfolge ist keine Totalordnung, sondern eine Halbordnung, weil es keine strikte Reihenfolge zwischenallenOperatoren geben muss. Es können auch mehrere Operatoren auf demselben Rang stehen. Zum Beispiel ist in der Arithmetik der Rang von Multiplikation und Division gleich, aber höher als der Rang von Addition und Subtraktion („Punktrechnung vor Strichrechnung“).

Durch die Rangfolge kann man explizite Klammerungen sparen. So ist in der Arithmetik$a+b\cdot c$gleichbedeutend mit$a+(b\cdot c)$,weil der Multiplikationsoperator einen höheren Rang hat. Für andere Anwendungen dieser Operatorsymbole können jedoch andere Rangordnungen definiert sein.

Bei nichtkommutativenOperatoren bedarf es noch zusätzlicher Konvention darüber, ob gleichrangige Teilausdrücke als implizit linksgeklammert, implizit rechtsgeklammert oder keines von beiden gelten soll.

Rangfolge unterschiedlicher Operatoren

Für die Standard-Rechenoperationen der Mathematik ist (in absteigender Priorität) folgende Rangfolge üblich:

1. Potenzierung
2. Multiplikation und Division („Punktrechnung “)
3. Addition und Subtraktion („Strichrechnung “)

In Programmiersprachen und Computerprogrammen zur Formelauswertung (z. B. dem Unix-Dienstprogrammbc) gibt es zusätzliche Kategorien. Eine davon ist dasVorzeichen,das in der Regel eine noch höhere Priorität vor der Potenzierung genießt. So wird in mathematischen Formeln der Ausdruck$-a^{b}$zwar als$-(a^{b})$gelesen, in den Ausdrücken solcher Auswertungsprogramme aber oft als$(-a)^{b}$.

In der Logik ist es nicht immer üblich, eine Operatorrangfolge zu definieren. Wo das geschieht, wird meistens (in absteigender Priorität) folgende gewählt:

1. Negation(logisches NICHT)
2. Konjunktion(logisches UND)
3. Disjunktion(logisches ODER)
4. Konditional
5. Bikonditional

Auch in vielen Programmiersprachen wird fürBoolesche Operatorendiese Rangfolge gewählt.

Nach Anwendung der genannten Operatorrangfolgen wird z. B. der arithmetische Ausdruck$3+4\cdot 5^{-6}$ausgewertet als$3+(4\cdot (5^{(-6)}))$,der logische Ausdruck$P\leftrightarrow Q\rightarrow R\lor \lnot S\land T$als$P\leftrightarrow (Q\rightarrow (R\lor ((\lnot S)\land T)))$.

Reihenfolge gleichwertiger Operatoren

Zusätzlich kann für Operationen eineAssoziativitätfestgelegt werden, mit der bestimmt wird, in welcher Richtung nebeneinander stehende, gleichwertige Operatoren implizite Klammerung vorgeben, falls überhaupt. Ein Operator heißtlinksassoziativ,wenn A op B op C op D wie ((A op B) op C) op D gelesen werden soll; ein Operator heißtrechtsassoziativ,wenn A op B op C op D wie A op (B op (C op D)) gelesen werden soll. Von den genannten arithmetischen Operatoren wird die Potenzierung als rechtsassoziativ definiert, d. h.:

$a^{b^{c^{d}}}\ =\ a^{\left(b^{\left(c^{d}\right)}\right)}\ \neq \ \left(\left(a^{b}\right)^{c}\right)^{d}$.

Ebenso der Doppel-Pfeiloperator:

$a\uparrow \uparrow b\uparrow \uparrow c=a\uparrow \uparrow \left(b\uparrow \uparrow c\right)\neq \left(a\uparrow \uparrow b\right)\uparrow \uparrow c$

Die übrigen zweistelligen Operatoren werden als linksassoziativ definiert, d. h. zum Beispiel$A-B-C-D=((A-B)-C)-D$.

In der Logik werdenJunktorenmeistens linksassoziativ definiert, es gibt aber durchaus auch Autoren, die zumindest das Konditional rechtsassoziativ verwenden.

Es gibt auch Programmiersprachen, wie z. B.Occam,die alle Operatoren auf den gleichen Rang setzen und linksgeklammert interpretieren.

Gliederungszeichen

Um innerhalb eines Ausdrucks die definierte Operatorrangfolge zu verändern und um bei fehlender Definition einer Rangfolge Ausdrücke eindeutig zu gestalten, werden unterschiedliche Formen von Gliederungszeichen verwendet. In der Mathematik und auch in der modernen Logik sind das Klammern.

In der Geschichte der Logik wurden vor allem zu Beginn häufig Punktierungen verwendet, um die Mehrdeutigkeit von Ausdrücken zu verhindern bzw. eine allenfalls definierte Operatorrangfolge zu verändern. Ein Punktierungssystem, das durch das GrundlagenwerkPrincipia Mathematicaeine gewisse Verbreitung erlangte, war bis in die 1970er Jahre in unterschiedlich abgewandelter Form auch in einführenden Logikbüchern häufiger anzutreffen. Bei diesem System wird statt der gedachten schließenden Klammer vor einem Junktor bzw. statt der gedachten öffnenden Klammer nach einem Junktor ein Punkt gesetzt. Zum Beispiel würde statt

$(A\lor B)\land (C\lor D)$

der folgende Ausdruck geschrieben:

$A\lor B.\land.C\lor D$

Treffen mehrere gedachte Klammern aufeinander, dann werden statt eines einzigen Punktes zwei oder mehrere Punkte gesetzt, sodass zum Beispiel anstelle von

$((A\rightarrow B)\lor C)\land D$

der folgende Ausdruck geschrieben würde:

$A\rightarrow B.\lor C:\land D$

Ein anderes System gewichtet die in einem Ausdruck vorkommendenJunktorenmit Punkten. Je mehr Punkte über einem Operator stehen, desto schwächer ist seine Bindungsstärke, das heißt desto niedriger ist seine Priorität. Nach diesem System würde zum Beispiel eine Konjunktion mit zwei Punkten schwächer binden als eine Konjunktion mit einem Punkt, diese wiederum schwächer als eine Konjunktion ohne Punkte.

Sonstiges

InProgrammiersprachenwird oft eine Wertigkeit und Assoziativität für alle Operatoren festgelegt, damit die Struktur aller Ausdrücke auch dann eindeutig ist, wenn keine Klammern verwendet werden.

Die Operatorrangfolge ist normalerweise nur bei Ausdrücken inInfix-Notationvon Bedeutung. Schreibweisen wie diepolnische Notationoder dieumgekehrte polnische Notationwurden entwickelt, damit die Ausdrücke ohne Rangfolge und klammerfrei eindeutig sind. Auch bei der ersten prädikatenlogischen Schreibweise, derBegriffsschriftnotation,und bei graphischen Schreibweisen wie denExistential Graphsist die Lesart eines Ausdrucks eindeutig bestimmt und bedarf keiner Gliederungszeichen oder -konventionen.

In Programmiersprachen, die Nebenwirkungen („side effects “) in Ausdrücken erlauben, ist die Reihenfolge, in der Teilausdrücke ausgeführt oder wirksam werden, von Bedeutung. Einige Programmiersprachen legen diese Auswertungsreihenfolge (etwaJava) strikt fest, andere (wie z. B.CoderC++) lassen die Auswertungsreihenfolge bei den meisten Infix-Operanden undefiniert. Mit der Operatorrangfolge in Sinne dieses Artikels, die eine rein syntaktische Konvention darstellt, hat dies aber nichts zu tun. Beispiel:

intf1(void);
intf2(void);
intf3(int);

intg(void){returnf3(f1()*f2());}

Es ist nicht definiert, ob zuerst f1 oder f2 ausgeführt wird (und damit „side effects “auftreten). Dagegen ist festgeschrieben, dass f3 erst aufgerufen wird, nachdem f1 und f2 (mit ihren „side effects “) beendet sind.

Die im englischsprachigen Raum benutzteEselsbrücke– PEMDAS für Parenthese (Klammer), Exponent, Multiplication, Division, Addition, Subtraction – führt immer wieder zu Missverständnissen. So wird etwa$8:2(2+2)=8:2(4)=8:8=1$gerechnet, weil in „PEMDAS “die Multiplikation vor der Division vorkommt.

Literatur

• Florian Cajori:A History of Mathematical Notations.Open Court, Chicago 1928–1929, Dover, New York 1993.ISBN 0-486-67766-4.
• William Kneale,Martha Kneale:The Development of Logic.Clarendon Press, Oxford 1962,ISBN 0-19-824773-7.