BNF壹般指巴科斯範式。巴科斯範式以美國人巴科斯（Backus）和丹麥人諾爾（Naur）的名字命名的壹種形式化的語法表示方法，用來描述語法的壹種形式體系，是壹種典型的元語言。又稱巴科斯-諾爾形式（Backus-Naur form）。
它不僅能嚴格地表示語法規則，而且所描述的語法是與上下文無關的。它具有語法簡單，表示明確，便於語法分析和編譯的特點。BNF表示語法規則的方式為：
非終結符用尖括號括起。每條規則的左部是壹個非終結符，右部是由非終結符和終結符組成的壹個符號串，中間壹般以“：：=”分開。具有相同左部的規則可以***用壹個左部，各右部之間以直豎“|”隔開。
擴展資料：
發展歷史：
約翰·巴科斯首次在ALGOL 58中實現巴科斯範式。彼得·諾爾在ALGOL 60之中，進壹步發展它的概念並將它的符號加以簡化，稱其為巴科斯範式（Backus Normal Form）。
但高德納主張應稱為巴科斯-諾爾範式（Backus–Naur Form），因為它不算是壹種正規形式（Normal form）。