2.3. 構文文法 - akios @ ウィキ

2. 文法

2.1. 文脈自由文法

2.2. 字句文法

2.3. 構文文法

Javaプログラミング言語の構文文法(syntactic grammer)を4章、6～10章、14章および15章で記述します。本文法では字句文法で定義されたトークンを終端記号として扱います。目標記号CompilationUnit(7.3.)から始まる複数の生成規則を定義し、トークン列が構文的に正しいプログラムをいかに形成するかについて記述します。

18章では説明目的より実装目的のJavaプログラミング言語の構文文法を記述しています。どちらの構文文法も同じ言語を表しています。

2.4. 文法記法