BNF（バッカス・ナウア記法）とは？
BNF（バッカス・ナウア記法）とは、言語の構文規則を、非終端記号の定義を再帰的に並べて表す形式的記法。定義記号の左辺を右辺の並びや選択肢で置き換える規則を積み重ねて、有効な文字列の集合を厳密に定める。データ形式や入力仕様の定義にも使える。
びーえぬえふ
BNF（バッカス・ナウア記法）の意味
言語の構文規則を、非終端記号の定義を再帰的に並べて表す形式的記法。定義記号の左辺を右辺の並びや選択肢で置き換える規則を積み重ねて、有効な文字列の集合を厳密に定める。データ形式や入力仕様の定義にも使える。
BNF（バッカス・ナウア記法）の具体例
検索条件の入力書式や、外部システムとやり取りする電文のレイアウトをBNFで定義し、実装者と検証者が同じ解釈に到達できるようにする。定義から機械的にパーサやテストデータを生成でき、仕様書の読み違いによる不具合を減らせる。
BNF（バッカス・ナウア記法）は試験でどう引っ掛けられる？
表せるのは構文であって意味ではない。文法上正しくても業務的に無意味な値は排除できず、意味的な妥当性検査は別に要る。また繰返しを表すために再帰を使う点が、繰返し記法を持つ拡張BNFとの違いとして問われる。
BNF（バッカス・ナウア記法）と関連する用語
最終更新：2026-08-25／解説は資格暗記が独自に作成しています。 過去問の出典は各問題に記載のとおりです。