結合法則
中置記法を採用しているプログラミング言語においては、任意の演算子について数学で言うところの結合法則が成り立たないことを仮定して、その式の意味をどういった順序で、値を演算子により結合させたものとするかについて、それぞれの言語にそれぞれ法則がある。「演算子の優先順位」(英: Operator precedence) と「演算子の結合性(英語版)」(英: Operator associativity) と言う。
なお、優先順位と結合性は値の扱いに関する規則であって、式の評価の順序に関する規則ではないことに注意が必要である。評価順は優先順位と結合性に直感的に従っていることもあれば、従っていないこともある。言語仕様としては決められていないこともある(評価順と関連するものとして、短絡評価がある。短絡評価のためには評価順が決まっている必要があるため、一般に演算子の左辺と右辺の評価順を決めていないC言語だが、短絡評価される演算子については決まっている。Javaは仕様で全て決めている。Adaでは両辺を評価する演算子と短絡評価の演算子とが用意されている。)。
優先順位と結合性は、仕様上の表現としては構文規則の一部として決まっているものが多い(たいていは便利さのために別表にまとめられている。yaccのように通常の規則とは別建てで定義できるものもある)。ここでは例として、四則演算を主に挙げるが、他の演算子についても規則は同様にある。