BNF（Backus-Naur Form）是一種形式化的語法表示方法，用於描述上下文無關語法。它由美國人巴科斯（Backus）和丹麥人諾爾（Naur）共同提出，因此得名。BNF具有語法簡單、表示明確的特點，便於語法分析和編譯。
在BNF中，非終結符用尖括弧括起，表示它們是語法中的抽象概念，不會直接出現在語言中。終結符則是可以直接出現在語言中的字元。BNF規則的基本結構為「非終結符 ::= 定義」，其中「::=」表示定義，「|」表示或，用於分隔不同的選擇。例如，一個簡單的BNF規則可以表示為「<语句> ::= <表达式>;」，這裡「<语句>」是非終結符，「<表达式>;」是定義，表示一個語句由一個表達式後跟分號組成。
BNF規則中的元素可以包括：
非終結符：用尖括弧括起，代表語法中的抽象概念。
終結符：直接出現在語言中的字元。
定義：非終結符被定義為一個或多個符號的序列，這些符號可以是非終結符、終結符或它們的組合。
選擇：使用「|」分隔不同的定義，表示存在多種可能的替換方式。
重複：使用大括弧「{}」表示重複的次數，例如「{n}」表示重複n次，「{m,n}」表示重複m到n次。
可選項：使用方括弧「[]」表示可選的部分。
BNF的優點在於它的簡潔性和明確性，它能夠精確地描述語法的結構，使得語法分析和編譯器構造變得容易。然而，隨著語言複雜性的增加，BNF的表達能力可能會受到限制，因此有時會使用擴展的BNF（EBNF）來提供更豐富的表達手段。