3.6.2 演算子の優先順位

トークンの宣言とトークンの優先順位および結合規則の指定をまとめて行いたいならば、 %left、%right、%nonassocのどれかを使います。 これらは、優先順位宣言（precedence declarations）と呼ばれます。 演算子の優先順位の詳細については、 See Operator Precedence。

優先順位宣言の構文は、%tokenを使う宣言の構文と同じです。

     %left symbols...

次のようにも書けます。

     %left <type> symbols...

これらの宣言は、%tokenを使う宣言が目的とする すべての機能を持っています。 それに加えて、次のように結合性と、すべてのsymbolsについての優先順位を指定します。

• 演算子opの結合性は、この演算子が繰り返し使われた場合の 動作を指定します。つまり、`x op y op z'が 構文解析された場合に、最初にxとyがグループ化されるか、 それともyとzがグループ化されるかを指定します。 %leftは、左結合性、つまりxとyが先に結合されることを 指定します。%rightは、右結合性、つまり、 yとzが先に結合されることを指定します。 %nonassocは、無結合性を指定し、その場合、 `x op y op z'は 構文エラーとみなされます。
• 演算子の優先順位は、その演算子が他の演算子とともに使われた場合の 動作を指定します。同一の優先順位宣言で宣言されたすべてのトークンは、 同じ優先順位を持ち、その結合性にしたがって処理されます。 2個のトークンが別々の優先順位宣言で宣言されているならば、 文法ファイルの中で後で宣言されたほうの演算子が強い優先順位を持ちます。