【Backus-Naur Form】コンピュータ言語などの形式を記述するメタ言語の一つ。1959年にJohn Backusが提案したものにPeter Naurが修正を加えたもので、ALGOL60の定義に初めて用いられた。BNF。