BNF

[16] BNF は、文脈自由文法の記述書式の一種です。 BNF とその変種は非常によく用いられています。多くの場合、「BNF」と呼ばれていてもオリジナルな BNF ではなく、何らかの拡張や変更が加えられたものになっています。また、大規模な変更を加えた ABNF や EBNF もよく用いられますが、これらにもまた、様々な変種があります。

標準

[32] BNF と呼ばれるものは数多あり、それら全体の「標準」と言えるものは存在していません。

[5] ISO/IEC の仕様でも BNF やその変種がよく用いられます。 EBNF を規定した ISO/IEC 14977 という国際規格もあります (ただし、これを用いていない ISO/IEC 規格もあります)。

[17] IETF の定義するインターネット標準としては、 STD 68/RFC 5234 で定義される ABNF があります。

変種

[25] BNF には沢山の互いに互換性のない変種があります。色々な場面でそれぞれの変種が使われており、どれが標準とは一概には言えません。

[29] 第3章 TAD 詳細仕様書, 2011-01-26T00:45:16.000Z, 2022-08-25T14:12:19.734Z http://www.chokanji.com/developer/doc/btron3/shared_data/tad1.html#abx

[30] Microsoft Word - 910-S004-uBNF_0.00.05-061012.doc - UID-CO00003-0.00.05.pdf, 2010-09-27T02:04:40.000Z, 2022-10-14T15:49:33.301Z http://www.uidcenter.org/ja/wp-content/themes/wp.vicuna/pdf/UID-CO00003-0.00.05.pdf

[31] BSON (Binary JSON): Specification, 2022-04-14T15:19:45.000Z, 2023-04-17T05:04:34.463Z https://bsonspec.org/spec.html

a pseudo-BNFリンク syntax

(リンク先はEnglish版Wikipedia)

を定義なく使っています。

限界

[21] BNF の表現能力の限界は、方言により様々です。しかし次のような制限があるのが一般的です。

[22] 前方参照のようなもの (Perl の正規表現の \N) がないため、 XML の開始タグと終了タグの関係 (タグ名の一致) などが記述できない。
[23] 正しい構文は記述できるが、誤った入力をどう処理するべきかは記述できない。
[24] 構文は記述できるが、構文解析して得るべきデータモデルとの対応関係は記述できない。

[26] BNF の変種やその利用方法によっては、言語のすべてを記述することを諦め、自然言語文で制約を記述したものを構文規則の一部として記述できることがあります。専用の構文がなくても、注釈が実質的にそのように利用されていることがあります。

[27] BNF に限らず機械可読な構文記述方式では表現能力に限界があり、仕様書の利用者の混乱の元になると非難する人もいます。 BNF 等の方が (一定の訓練を経た人なら) 記述された内容を理解しやすいかもしれませんが、自然言語等でより詳細・厳密に記述する方が望ましいとされます。

[28] かつて HTML その他の Web に関する技術の仕様書では DTD や ABNF が使われていました。しかし、自然言語で記述された要件を無視して機械可読な要件だけを検査することで適合性を判断する誤った考え方の温床となっていたこと、著者に対する生成の要件と実装に対する解釈の要件を明確に区別することが困難で混乱の元となること、構文解析器の誤りの処理など実際の動作を厳密に記述できる方式が存在しないことなどにより、 Web Applications 1.0 (後の HTML5) 以来自然言語のみの記述に置き換えられていきました。現在では限られた部分で ABNF によって著者に対する要件のみが記述されるにとどまっています。

BNF とは何か

[6] というか、はっきりいって、どんなのまで BNF と言うのかよく分からん。みんな好き勝手に拡張した自分の形式を BNF だと主張しているような。
[7] 例えば JIS X 4081:2002 の「実体構造の表記法」は BNF なのかどうか。そうじゃないような気もするけどそうであるような気もするし。規格に BNF だとは書いてないから、 BNF じゃないのかな:)
[8] SGML の要素の内容モデルも BNF のような気もするけど、それが BNF なら正規表現も BNF のような気がしてくる。しかし正規表現の一種のような XML の構文記述法は EBNF だったりする。
[9] でも流石に ASN.1 は BNF ではないわな。
[10] >>8 SGML 内容モデルの記法は規格本文では構文の定義に使われてる。そしてその使われ方はいかにも BNF(ry
[11] 単純な要素の線形連結を間隔を置いて並べるだけか、 COMMA を挟んで区切るのかの違いって、 BNF か否かに関係するのかな? もともとの BNF や IETF ABNF や XML の EBNF は間隔だけだけど、 SGML や JIS X 4081 は読点で区切っている。
[12] >>11 正規表現は区切りに何もいらない。というか (perl 拡張とかでない限り) 間隔も入れちゃ駄目。 (間隔も読点もそれ自身として扱われる。)
[13] >>9 ASN.1 は BNF に関数を導入しただけにも見える。 (だけではない?)
[14] まあどれが BNF でどれが BNF でなくても良いが、結局構文記述のためのメタ構文は必然的に同じようなものになってしまうということか?