バッカス・ナウア記法（英: Backus–Naur form）とは、文脈自由文法を定義するのに用いられるメタ言語のことで、一般にBNFやBN記法と略される。現在はこのBNFを拡張したEBNF (Extended BNF) が一般的に使われている。EBNFでは正規表現を用いてより簡単に記述でき、プロトコル規定言語であるASN...

ピーター・ナウア（Peter Naur、1928年10月25日 - 2016年1月3日）はデンマークのコンピュータ科学者であり、チューリング賞受賞者。バッカス・ナウア記法に名前が使われている。バッカス・ナウア記法はプログラミング言語の文法を記述するのに使われている。ALGOL 60プログラミング言語の創造に貢献した。...

ジョン・ワーナー・バッカス（John Warner Backus, 1924年12月3日 - 2007年3月17日）は、アメリカ合衆国の計算機科学者。初期の高水準プログラミング言語 (FORTRAN) の発明者、（形式言語の文法の定義に汎用的に用いられる）バッカス・ナウア記法の発明者、また関数レベルプログラミング（英語版）...

〈φ|ψ〉, 〈φ|, |ψ〉 は、ブラ・ケット記法。 UNIXやMS-DOSではパイプの記号として用いる。 C言語やその影響を受けている言語では、1本(|)でOR演算子、2本(||)で論理和演算子として用いられる。 正規表現やバッカス・ナウア記法では「選択」、すなわち、左右の書式のいずれかを選べることを意味する。...

ジョン・バッカスは ALGOL 58 を主たる対象としてプログラミング言語の文法を記述するバッカス正規記法 (Bakus normal form) を開発した。ピーター・ナウアはそれを ALGOL 60 向けに拡張・改訂。ドナルド・クヌースがバッカス・ナウア記法 (Bakus-Naur...

がメタ言語となる。 特にプログラミング言語のような形式言語の構文を記述する際に使われる記法がバッカス・ナウア記法 (BNF) である。BNF記法には様々な変種が存在するが、そのうち拡張バッカス・ナウア記法とも呼ばれるEBNF (Extended BNF) はISOとIECによって標準化されており、文書は「Syntactic...

Backus–Naur Form）とは、文脈自由文法を表現するメタ文法記法であり、コンピュータのプログラミング言語や形式言語の形式的表現として使われる。バッカス・ナウア記法 (BNF) の拡張であり、拡張バッカス・ナウア記法とも呼ばれるが、ABNF（Augmented Backus-Naur...

ものに似ている。他には、プログラミング言語の構文を記述するために用いられるバッカス・ナウア記法（BNF）もパーニニによる言語研究との類似がある（というよりも、BNFが句構造規則のうちの単純なもの（文脈自由文法）に特化した記法であり、また、パーニニの研究が句構造文法的であった、というように捉えるのが...

58の報告書の中でジョン・バッカスはプログラミング言語の文法の形式的記法（後にバッカス・ナウア記法、BNF記法と呼ばれるようになった）を提案した。バッカスはプログラミング言語の意味論の記法の必要性にも言及した。報告書にはBNF記法と同様の意味論に関する記法を将来提案すると書かれているが、それが現われることはなかった。...

Parser p = new Parser(expression); System.out.println("'" + expression +"' equals " + p.evaluate()); } } バッカス・ナウア記法 ドメイン固有言語 Design Patterns p. 243 表示 編集...

子を『•』で表すとすると『(φ•ψ)』も論理式である。一般には、『∨』『∧』『→』『↔』といった記号が二項結合子として使われる。 この定義をバッカス・ナウア記法で形式文法として記述することもできる。変数の種類は有限とすると、次のようになる。 ⟨alpha set⟩ ::= p|q|r|s|t|u|…（命題変数の有限集合）...