第2章 グラマー

コンテキストなしの文法は、多数のプロダクションで構成されます。 各プロダクションには、非ターミナルと呼ばれる抽象記号が左側として、1つ以上の非ターミナル記号とターミナル記号のシーケンスが右側としてあります。 文法ごとに、終端記号は指定されたアルファベットから描画されます。

ゴール記号と呼ばれる単一の識別された非終端文で構成される文から始めて、特定のコンテキストのない文法は言語、つまり、シーケンス内の任意の非終端を、非終端が左側である本番の右側と繰り返し置換することから生じる可能性のある一連の終端記号を指定します。

Javaプログラミング言語の字句は、§3 (字句構造)に記載されています。 この文法は、終端記号としてUnicode文字セットの文字を使用しています。 ゴールシンボル Input (§3.5)から始まる一連のプロダクションを定義し、Unicode文字のシーケンス(§3.1)を一連の入力要素(§3.2)に変換する方法を記述します。

空白(§3.6)およびコメント(§3.7)が破棄されたこれらの入力要素は、Javaプログラミング言語の構文文法用の端末記号を形成し、トークン(§3.5)と呼ばれます。 これらのトークンは、Javaプログラミング言語の識別子(§3.8)、キーワード(§3.9)、リテラル(§3.10)、セパレータ(§3.11)、および演算子(§3.12)です。

Javaプログラミング言語の構文文法は、第4章、6-10章、14章および15章に記載されています。 この文法には、終端記号として字句文法で定義されたトークンがあります。 これは、トークンのシーケンスが構文的に正しいプログラムを形成する方法を説明する、ゴールシンボル CompilationUnit (§7.3)から始まる一連のプロダクションを定義します。

便宜上、構文文法は第19章にまとめられています。

末端記号は、字句文法および構文文法のプロダクションではfixed widthフォントで表示され、テキストがこのような終端記号を直接参照している場合は常にこの仕様全体に表示されます。 これらは、記述されたとおりにプログラムに表示されます。

非終端記号は、イタリック型で表示されます。 非終端の定義は、定義される非終端の名前とコロンによって導入されます。 非終端の代替定義が1つ以上続きます。

本番環境の右側の構文 {x}は、ゼロ個以上の xを表します。

本番環境の右側の構文 [x]は、ゼロまたは1回の xを表します。 つまり、xはオプションの記号です。 オプションの記号を含む代替方法によって、実際には2つの選択肢が定義されます: オプションの記号とそれを含む記号を省略したもの。

右側が非常に長い場合、2番目の行を明確にインデントすることで、2番目の行で継続できます。

生産の右側にあるフレーズ(one of)は、次の行または行の各記号が代替定義であることを示します。

本番の代替がトークンであるように見える場合、このようなトークンを構成する一連の文字を表します。

本番の右側では、「しかし」というフレーズを使用し、除外する展開を示すことで、特定の展開が許可されないことを指定できます。

最後に、いくつかの非端子は、ロマン型のナラティブフレーズによって定義され、すべての選択肢をリストすることは実用的ではありません。