BNF構文図式

BNF構文図式（バッカス・ナウア記法）は、プログラム言語などの文法（構文）を、記号を置き換える規則の形で表す記法です。

■ 試験で押さえるポイント

• 「::=」の左側に定義する記号、右側にその中身を書き、「|」で選択肢を表します。

• 規則の中で自分自身を使うことで、繰り返しや入れ子を表せます。

• 変数の型の整合性などの意味の規則は、別に扱います。

■ 選択肢での判断ポイント

規則を順に展開して、文字列が文法に合うかを判断します。

例: ＜数＞ ::= ＜数字＞ | ＜数＞＜数字＞ は、1桁以上の数字の並びを表します。