巴克斯—诺尔范式（Backus-Naur Form，简称BNF）是一种用于形式化描述编程语言、数据格式或任何形式语言语法的元语言，主要用于描述上下文无关文法。
该范式通过一套严格的规则和符号体系来定义语言的结构，其基本构成包括终结符号、非终结符号和产生式规则等。
BNF由约翰·巴克斯和彼得·诺尔在20世纪60年代提出，作为描述ALGOL 60编程语言语法的标准方法。 后来衍生出了如EBNF（扩展巴科斯—诺尔范式）和ABNF（增广巴科斯—诺尔范式）等扩展形式。
想要了解更多“巴克斯—诺尔范式”的信息，请点击：巴克斯—诺尔范式百科
