EBNF(Extended Backus–Naur Form)とは、文脈自由文法を表現するメタ文法記法であり、コンピュータのプログラミング言語や形式言語の形式的表現として使われる。バッカス・ナウア記法 (BNF) の拡張であり、拡張バッカス・ナウア記法とも呼ばれるが、ABNF(Augmented Backus-Naur Form)も同じ訳語となるため、区別するためあえて EBNF としている。 ニクラウス・ヴィルトが最初に開発した。EBNF の標準化されたものとして ISO-14977 などがある。 基本[編集] プログラムのソースコードは、終端記号で構成される。終端記号は、具体的な文字や数字や記号で構成される。 EBNF は、非終端記号に対応する記号列を指示する生成規則によって定義される。 digit excluding zero = "1" | "2" | "3" | "4" | "5