BN記法とは、文法を形式的に定義するために使用される記法です。コンピュータサイエンスの分野で文法を記述する際に広く採用され、プログラミング言語の構文を明確かつ簡潔に定義するために利用されています。この記法は、「バッカス・ナウア記法」とも呼ばれ、二人の数学者であるジョン・バッカスとピーター・ナウアによって考案されたことに由来しています。