##  [Assoziativgesetz](/de/node/60922) 

 Definition

Das Gesetz, dass die Gruppierung der Operanden bei wiederholter Anwendung eines binären Operators das Ergebnis nicht verändert; formal gilt für Operator ⊗ und A, B, C: (A ⊗ B) ⊗ C = A ⊗ (B ⊗ C) (z. B. (A ∧ B) ∧ C = A ∧ (B ∧ C)).

 

 

 

 

 

 





## Prinzip

Prinzip

Klammern (Assoziation) können umgeordnet werden, ohne die Auswertung iterierter Anwendungen des assoziativen Operators zu verändern.

 

 

 

 

 





## Demonstration

Demonstration

Bei der booleschen Disjunktion liefern sowohl (A ∨ B) ∨ C als auch A ∨ (B ∨ C) genau dann wahr, wenn mindestens eines von A, B, C wahr ist; Wahrheitstabellen und Semantik stimmen überein.

 

 

 

 

## Fehlanwendung

Fehlanwendung

Annahme von Assoziativität bei Gleitkommaaddition ohne Berücksichtigung von Rundungsfehlern oder Anwendung auf nichtassoziative Operationen wie Subtraktion oder Exponentiation führt zu falschen Ergebnissen.

 

 

 

 

 





## Konsequenz

Konsequenz

Erlaubt das Weglassen oder Umsetzen von Klammern bei wiederholten gleichen Verknüpfungen, vereinfacht Parsebäume und ermöglicht parallele oder inkrementelle Auswertungsstrategien.

 

 

 

 

## Umkehrung

Umkehrung

Nicht-Assoziativität: Operationen, bei denen die Gruppierung das Ergebnis ändert (z. B. (a − b) − c ≠ a − (b − c) oder bestimmte Konkatenationen mit Seiteneffekten).

 

 

 

 

 





## Abgrenzung

Abgrenzung

Gilt für wiederholte Anwendungen desselben binären Operators im selben algebraischen System; impliziert nicht, dass unterschiedliche Operatoren miteinander kommutieren oder assoziieren, und schließt gemischte Ausdrücke ohne zusätzliche Regeln aus.

 

 

 

 

 





## Semantische Spannung

Semantische Spannung

Spannung zur Auswertungsreihenfolge — Assoziativität erlaubt flexible Gruppierung, kann aber mit Kontexten kollidieren, in denen die Auswertungsreihenfolge Seiteneffekte, Ressourcenanforderungen oder unreinere Semantik erzwingt.

 

 

 

 

 





## Synthese

Synthese

Das Assoziativgesetz kennzeichnet Operatoren, bei denen die Gruppierung unerheblich ist, erlaubt eine klammerfreie Notation und strukturelle Vereinfachung, bleibt aber sensitiv gegenüber Seiteneffekten und heterogenen Operatorenkontexten.