BNFとバッカス記法とは？びーえぬえふ
BNFとバッカス記法とは、プログラミング言語などの構文規則を再帰的な置き換え規則で厳密に定義する記法。「::=」で定義し、「|」で選択肢を、記号の組み合わせで繰り返しや入れ子構造を表す。構文解析（パース）の基礎となる。
最終更新：2026-10-06
応用情報を最短で暗記・合格する →具体例
<数字列> ::= <数字> | <数字><数字列> のように定義すると、数字列は1桁の数字か、数字＋数字列の再帰的な組み合わせであることを表現できる。コンパイラの字句解析・構文解析で用いられる。
試験での引っ掛け
BNFが定義するのは構文（形）だけで、意味（セマンティクス）は定義しない。また正規表現と取り違えやすい。正規表現では括弧の対応のような入れ子構造を表現できないが、BNFは再帰的に定義できるため表現できる。::= の左辺が定義される非終端記号、右辺がその内容で、向きを逆に読まないこと。
関連用語
出典・参考
解説は資格暗記が独自に作成しています。過去問の出典は各問題に記載のとおりです。