メタ構文

• 「バッカス・ナウア記法」では、非終端記号は構文範疇名を山括弧で囲んで表し、終端記号は終端語を二重引用符で囲んで表します。派生::=規則において、終端記号はメタ記号の左側に現れることはありません。右側の定義本体は、複数の代替形式で構成することができ、各代替構文構造はメタ記号で区切られます。これらの代替構造はそれぞれ、終端記号または非終端記号のいずれかになります。|
• 「拡張バッカス・ナウア記法」は、BNFのすべての機能を活用し、さらに2つのメタシンボルを導入して追加機能を提供します。これらの新機能のうち1つは、文中のオプション句を角括弧で囲むことで、オプション句を表すために使用されます。もう1つの機能は、フレーズを波括弧で囲むことで、0回以上繰り返されるフレーズを表すために使用されます。
• 「Wirth構文表記」は、EBNFのすべての機能を利用しますが、非終端記号は必ずしも山括弧で囲む必要はなく、常に生成規則の右辺で定義されます=。また、すべての非終端記号を明示的に定義する必要もありません。やなどの非終端記号は、<text>それぞれ<opt-whitespace>ASCII文字と省略可能な空白文字として暗黙的に定義されます。
• 拡張バッカス・ナウア記法では、構文カテゴリ名としてアルファベットを1語の名前で始めることで、非終端記号を表します。山括弧は不要です。終端記号は、二重引用符で囲まれた単語で表すか、次の数値構造で表します。a %、その後にbまたは、xまたはd、その後に数値またはで区切られた数値の連結.。メタシンボルは、値の範囲-を表すために2つの数値の間に配置されます。BNFと同様に、ABNFの終端記号は、導出規則のメタシンボルの左側には決して現れません。メタシンボルは、交替を表します。定義本体の要素を区切るために空白が使用されます。ABNFの繰り返しに関するメタ構文には、いくつかの形式があります。要素の前に があると、その要素は0回以上繰り返されます。数値n1、その後に、続いて数値n2、さらにその要素があると、その要素は少なくともn1回、最大n2回繰り返されます。要素の前に単一の数値n を付けると、その要素がn回繰り返されることを示します。メタシンボルの後にコメントを記述できます。EBNF と同様に、句を角括弧で囲むと、その句は省略可能であることを示します。=/**;

これらの形式メタ言語のメタ構文規約はまだ形式化されていません。さまざまなコンピュータプログラミング言語のリファレンスマニュアルには、多くのメタ構文のバリエーションや拡張が存在します。非終端記号と終端記号を表す標準的な規約のバリエーションの1つは、山括弧や引用符などのメタシンボルを削除し、意図した単語にフォントタイプを適用することです。たとえば、Adaでは、構文カテゴリは、意図した単語またはシンボルに小文字のサンセリフフォントを適用することによって示されます。Adaのすべての終端単語またはシンボルは、コード位置が16#20#から16#7E#（両端を含む）の文字で構成されます。各文字セットの定義は、ISO/IEC 10646:2003で説明されている国際規格を参照します。CとJavaでは、構文カテゴリはイタリックフォントを使用して示され、終端記号はゴシックフォントで示されます。Jでは、そのメタ構文はJの構文を記述するためにメタシンボルをまったく適用しません。むしろ、すべての構文の説明は、英語に非常によく似たDictionaryと呼ばれるメタ言語で行われ、これはJ用に独自に文書化されています。

新しい拡張機能の目的は、よりシンプルで曖昧さのないメタ構文を提供することです。シンプルさという点では、BNFのメタ表記は、開始記号と終了記号が多すぎるため、メタ構文の読みやすさを向上させるのに役立っていません。曖昧さという点では、引用符、アポストロフィ、小なり記号、大なり記号が終端記号として使われる場合（実際によく使われます）、BNFのメタ表記は不必要な複雑さを生み出します。拡張されたメタ構文は、文字の大文字小文字、フォント、コード位置などのプロパティを利用して、前述の不必要な複雑さを軽減します。さらに、一部のメタ言語は、レイアウト規則のためのメタ構文機能を組み込むためにフォント付き区切りカテゴリを使用しますが、これはBNFでは正式にはサポートされていません。