BNF (Backus-Naur Form) は、プログラミング言語の構文を記述するためのメタ言語です。BNF は言語の文法構造を記述するために一連の規則を使用します。BNF は一連の文法規則で構成され、各規則は非終端記号と 1 つ以上の終端記号または他の非終端記号の組み合わせとして表されます。
BNF の構文の説明は次のとおりです。
-
非終端記号 (非終端記号): 文法規則内の記号を示し、通常は山括弧で囲まれます。
-
終端記号: 「+」、「(」、「)」など、文法規則内の実際の文字または記号を示します。
-
文法規則 (生成規則): 非終端記号と終端記号で構成される文法構造を表す規則。通常は矢印「->」で区切られます。例えば：
-> +
-> *
-> ( ) |これらのルールは、 、 、および が非終端であり、「+」、「*」、「(」、「)」 および が終端である単純な算術式言語を記述します。
-
文法開始記号 (開始記号): 文法規則の開始点を指定するために使用され、通常は非終端記号です。例えば：
-> +
-> *
-> ( ) |この例では、 は開始記号です。
BNF の文法記述は、あらゆる形式の文脈自由文法を表すために使用でき、一般的なメタ言語であり、プログラミング言語の文法を定義するために広く使用されています。
文脈自由文法を理解する方法
文脈自由文法 (CFG) は形式言語であり、